[phpBB Debug] PHP Warning: in file [ROOT]/phpbb/session.php on line 561: sizeof(): Parameter must be an array or an object that implements Countable
[phpBB Debug] PHP Warning: in file [ROOT]/phpbb/session.php on line 617: sizeof(): Parameter must be an array or an object that implements Countable
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 371: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 120: include(/home/a009199/public_html/Forum/Studenti/latexrender/phpbb_hook_2.php): failed to open stream: No such file or directory
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 120: include(): Failed opening '/home/a009199/public_html/Forum/Studenti/latexrender/phpbb_hook_2.php' for inclusion (include_path='.:/usr/share/php')
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 120: include(/home/a009199/public_html/Forum/Studenti/latexrender/phpbb_hook_2.php): failed to open stream: No such file or directory
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 120: include(): Failed opening '/home/a009199/public_html/Forum/Studenti/latexrender/phpbb_hook_2.php' for inclusion (include_path='.:/usr/share/php')
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 120: include(/home/a009199/public_html/Forum/Studenti/latexrender/phpbb_hook_2.php): failed to open stream: No such file or directory
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 120: include(): Failed opening '/home/a009199/public_html/Forum/Studenti/latexrender/phpbb_hook_2.php' for inclusion (include_path='.:/usr/share/php')
Forum Studenti •Definizione di funzione composta con definizione di funzione "rigorosa"
Pagina 1 di 1

Definizione di funzione composta con definizione di funzione "rigorosa"

Inviato: mercoledì 28 settembre 2016, 1:26
da Mentina
Siano insiemi, e delle funzioni secondo la definizione "rigorosa" della lezione 003 con e .
è la funzione composta definita in questo modo:
prendo l'unico per cui e poi prendo l'unico per cui , in questo modo ho sempre un unico per cui
Possiamo poi definire come l'unico che rispetta la relazione .

Re: Definizione di funzione composta con definizione di funzione "rigorosa"

Inviato: mercoledì 28 settembre 2016, 8:03
da Massimo Gobbino
Quello che uno vorrebbe fare è definire H a partire da F e G, senza mai nemmeno nominare le fantomatiche "leggi" f e g.

Re: Definizione di funzione composta con definizione di funzione "rigorosa"

Inviato: mercoledì 28 settembre 2016, 15:10
da Giacomo
Siano A, B, C tre insiemi non vuoti;

sia F AB tc. F è una funzione.
sia G BC tc. G è una funzione.

dove la proposizione "è una funzione" significa tutto quello scritto al punto 2, riadattando i nomi.

considero ora il seguente insieme:

H= { (a,c) A C, tc. b B tc. ( (a,b) F, e (b,c) }

2-ora dovrei provare che H è una funzione, cioè:

- a A c C, tc. (a,c) H;
- (a,), (a,) H =;


proviamo la prima:
prendo a A, esiste b B tale che (a,b) F, perchè F è una funzione. ora c C tc. (b,c) G, perchè G è una funzione. Ora la coppia (a,c) sta in H?
certo perchè esiste b(trovato una riga sopra) tc. succede quello che ho scritto nella definizione di H;

proviamo la seconda:
siano (a,) e (a,) H; allora esistono e tali che
- (a, ) F
-(a, ) F

- (, ) G;
- (, ) G;

poichè F è una funzione, ) deve essere uguale a ); (non puo essere che a assuma 2 valori)

quindi si deve avere che
- (, ) G;
- (, ) G;

poichè G è una funzione =( non può essere che assuma due valori)

dimostrato ora che H è una funzione, posso finalmente chiamare H la "composizione di G con F";

Re: Definizione di funzione composta con definizione di funzione "rigorosa"

Inviato: domenica 2 ottobre 2016, 22:08
da Mentina
Grazie!

Re: Definizione di funzione composta con definizione di funzione "rigorosa"

Inviato: lunedì 3 ottobre 2016, 7:50
da Massimo Gobbino
La costruzione/dimostrazione di Giacomo è sostanzialmente corretta, a parte un po' di segni di "contenuto" che invece dovrebbero essere "appartiene".

Forse poi sarebbe stato meglio nel finale usare e invece di c e d, soltanto per simmetria con l'uso di e .

Re: Definizione di funzione composta con definizione di funzione "rigorosa"

Inviato: venerdì 21 ottobre 2016, 16:29
da Giacomo
Un pò in ritardo ma dovrei aver sistemato gli errori, come indicato dal professore