Dubbio applicazione composta

blob84
Ho queste 2 applicazioni:
[tex]k : x \in N -> -x -5 \in Z,[/tex]
[tex]f : n \in N -> 1 \in N[/tex]
L'applicazione composta è:
[tex](k o f)(n) = k(f(n)) = k (1) = (-x -5)*1,[/tex]
[tex]k o f: n \in N -> -x -5 \in Z[/tex]
Essendo f una applicazione costante non so se è corretta.

Risposte
dissonance
Infatti è sbagliato. Quanto fa $k(1)$?

blob84
-6

gundamrx91-votailprof
Sbaglio o questa composizione funzionale è commutativa?

[tex](f o k)(n) = f(k(n)) = f(k(-6)) =f(1) = 1[/tex]

anche se del resto si ha lo stesso risultato per ogni valore di n....

blob84
forse no perchè il codominio di k dovrebbe essere uguale al dominio di f.

gundamrx91-votailprof
Nella sostanza, anche modificando il dominio, non cambierebbe nulla dato che [tex]f[/tex] è una funzione costante, quindi qualsiasi sia il dominio restituirà sempre [tex]1[/tex] come valore.

blob84
invece considerando quest'altra applicazione:
[tex]k : x \in Q -> 3x \in Q[/tex]
la controimmagine di
[tex]{0, 16, -16 , 32}[/tex]
è un insieme vuoto.
Poi sembra surriettiva perchè ogni $y$ di $Q$ sono tali che $3y, 3(-y), 3y/n,3(-y/n)$ sono uguali ad almeno un x appartenente a $Q$.

gundamrx91-votailprof
Non ho capito la storia della controimmagine, e neppure della suriettività... puoi spiegarti meglio?

blob84
la cotroimmagine di ${0, 16, -16, 32}$
non è insieme vuoto ma è ${0}$, perchè non c'è nessun x, elemento di Q, che moltiplicato per 3 dia 16, -16 o 32. [sbagliato]
invece è ${0, 16/3, -16/3, 32/3}
Una applicazione è surriettiva quando ogni elemento di Q è corrispondente di almeno un elemento di Q, in questo caso è vera.

dariuz89
Ma il testo dell'esercizio qual è? E comunque di numeri razionali che moltiplicati per 3 diano 16, -16 o 32 ce ne sono!

blob84
la domanda è quella, trovare la controimmagine di quell'insieme e verificare la surriettività.
dariuz89 si è vero $3*16/3$

dariuz89
Ok, la controimmagine l'hai trovata. Invece per la suriettività dovresti spiegarti meglio... La domanda da porsi è: esiste $\forall x$ nel codominio della tua applicazione un elemento nel dominio che ne sia la controimmagine? Cioè, scelto a caso un elemento del codominio, puoi arrivarci da qualche elemento del dominio?

blob84
non so come dimostrarlo diversamente, tu come faresti?

dariuz89
"blob84":

Poi sembra surriettiva perchè ogni $y$ di $Q$ sono tali che $3y, 3(-y), 3y/n,3(-y/n)$ sono uguali ad almeno un x appartenente a $Q$.


Volevo indurti ad una miglior formalizzazione della tua dimostrazione... E poi non ho capito il motivo della distinzione tra quei quattro casi... Prova a partire da qui: dato un elemento a del codominio, esiste un elemento del dominio che gli corrisponde? Se si, quale?

blob84
I quattro casi significa che sia y intero positivo o negativo o razionale positivo o negativo sono corrispondenti di almeno un elemento di Q.
A me sembra una generalizzazione.
Io ho visto sul libro una dimostrazione di una applicazione surriettiva fatta in maniera simile.
Adesso la posto:
$f : x \in Z -> |x| \in No$
Come dal libro:
"L'applicazione f è surriettiva poichè $f(Z)=No$, precisamente ogni $y \in No$ è tale che esistono $y, -y \in Z$ per cui risulti $f(y) = f(-y) = y$".
La differenza con l'altra applicazione è che $f(y) != f(-y)$ per gli interi e tra i fratti.
Per esempio $f(-1) = -3 != 3 = f(1)$ e così $f(-1/3) = -1 != 1 = f(1/3)

Prova a partire da qui: dato un elemento a del codominio, esiste un elemento del dominio che gli corrisponde? Se si, quale?

Per ogni $ y \in Q$ esiste $x \in Q$ tale che $f(x) = y$ , quindi ogni $y \in Q$ è tale che esiste $y$ da cui si ha $y = f(y)$
Così si capisce meglio?

gundamrx91-votailprof
Oddio non si capisce nulla.
Intanto parti dalla definizione di funzione suriettiva e ragiona su quella, poi attenzione quando dici "y intero positivo o negativo o razionale positivo o negativo", perchè quando parli di un numero [tex]z \in Z[/tex] e di un numero [tex]q \in Q[/tex], per definizione di entrambi gli insiemi, tali numeri possono essere positivi o negativi, quindi non hai bisogno di specificarli.
Ultimo appunto: l'esempio che hai postato "ragiona" sulla funzione di valore assoluto, quindi è incentrata su questo fatto. La tua funzione (che poi mi riguardo) è diversa, quindi il ragionamento che dovrai fare molto probabilmente sarà differente.

blob84
Gundam se non la sai fare è inutile che dici che non si capisce nulla.
Posta la tua dimostrazione se ti interessa e confrontiamola, altrimenti lascia perdere.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.