13/08/2019, 18:14
13/08/2019, 18:17
13/08/2019, 19:02
13/08/2019, 20:43
14/08/2019, 16:31
14/08/2019, 17:07
14/08/2019, 18:22
14/08/2019, 20:31
marco2132k ha scritto:Credo che tu intenda il "ogni funzione suriettiva ha un'inversa destra". In questo caso la dimostrazione è ancora meno oscura, rispetto al lavoro sulle coppie \( (x,y)\in\psi \): se \( \psi \) fa commutare
dove \( \nu \) è un inversa destra di \( \pi \), tenendo presente che \( \varphi \) assume un'unica immagine sulle fibre della proiezione canonica, sarà \( \psi\circ\pi=\varphi\circ(\nu\circ\pi)=\varphi \). \( \square \)
15/08/2019, 20:07
15/08/2019, 20:16
Sì, e per di più io ti sto dicendo che anche nella dimostrazione con le coppie si fa uso di AC, o meglio della forma equivalente che ti ho citato.marco2132k ha scritto:mi sembra che entrambi abbiate risposto affermativamente alla mia domanda ("Serve scelta per fattorizzare attraverso la proiezione al quoziente?").
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.
Powered by phpBB © phpBB Group - Privacy policy - Cookie privacy
phpBB Mobile / SEO by Artodia.