tag:blogger.com,1999:blog-22400426.post5354725232756304328..comments2023-10-30T14:29:58.112+01:00Comments on Lap(l)aciano: I numeri reali non sono numerabiliLap(l)acianohttp://www.blogger.com/profile/11248894666182819759noreply@blogger.comBlogger10125tag:blogger.com,1999:blog-22400426.post-55022772525915429322022-11-22T05:04:54.792+01:002022-11-22T05:04:54.792+01:00Hello mate greatt blogHello mate greatt blogCosta Mesa Attic Insulationhttps://www.attic-professionals.com/us/attic-renovation-california/costa-mesa-attic-insulation.shtmlnoreply@blogger.comtag:blogger.com,1999:blog-22400426.post-35222089855536484602009-03-09T10:01:00.000+01:002009-03-09T10:01:00.000+01:00Ciao Andrea,il teorema di Baire è fantastico: il m...Ciao Andrea,<BR/><BR/>il teorema di Baire è fantastico: il mio relatore di tesi di dottorato cerca da anni uno studente che scriva una tesi di laurea che sia una raccolta di applicazioni di Baire!<BR/><BR/>La discussione sui reali e i naturali penso continuerà sul blog di tomate.<BR/><BR/>A presto<BR/>StefanoLap(l)acianohttps://www.blogger.com/profile/11248894666182819759noreply@blogger.comtag:blogger.com,1999:blog-22400426.post-74763966929125393252009-03-07T19:59:00.000+01:002009-03-07T19:59:00.000+01:00Due cose. Il mio dubbio è più fondazionale, e non ...Due cose. Il mio dubbio è più fondazionale, e non ne ho ancora discusso. Qualcosa di più complesso che cercherò di spiegare sul mio blog prossimamente. Magari tra qui e là salta fuori una bella discussione a più voci.<BR/><BR/>Se, come con la dimostrazione di Cantor, "rinormalizzo" il mio punto di vista riconosco che questa dimostrazione è elegante quanto quella e funziona bene, anche se è meno immediata.<BR/><BR/>Ma i dubbi rimangono. Il problema con questa dimostrazione è che sposta i miei dubbi in un terreno in cui tutto è meno cristallino. Non credo che ci sia bisogno di parlare della completezza topologica di R o del fatto che le infinite formule necessarie per definire R come unione dei suoi punti necessitano di infiniti caratteri. Non credo neanche che sia così diversa da quella di Cantor. Il punto che mi sconforta nella dimostrazione di Cantor dovrebbe ripresentarsi uguale quando si considera il concetto di completezza in termini di successioni di Cauchy.tomatehttps://www.blogger.com/profile/09711368972086055059noreply@blogger.comtag:blogger.com,1999:blog-22400426.post-86058258616036808662009-03-07T14:50:00.000+01:002009-03-07T14:50:00.000+01:00Secondo me l'unica cosa che turba tomate è la defi...Secondo me l'unica cosa che turba tomate è la definizione di unione di insiemi con un indice in un insieme qualunque (in particolare non N). Ma non c'è niente di drammatico, è solo una definizione, e pure una che funziona bene. Digerita quella, l'applicazione del teorema di Baire è semplicissima (e anche elegante, non la conoscevo).<BR/><BR/>A proposito di "ogni insieme coincide con l'unione degli insiemi costituiti dai suoi punti": un insieme è definito dai suoi elementi (che qui chiamiamo punti), nulla di più e nulla di meno, no? (se non ci si crede, manca qualcosa? c'è qualcosa di troppo? di questo parla anche l'assioma di estensionalità di Zermelo-Fraenkel).Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-22400426.post-5325302862062782072009-03-06T10:39:00.000+01:002009-03-06T10:39:00.000+01:00Forse vedi le cose in maniera troppo fisica; penso...Forse vedi le cose in maniera troppo fisica; penso che la matematica è una scienza formale, che riguarda relazioni fra simboli. Ogni tanto, ha delle applicazioni in fisica; ma cercare di capire i fondamenti fisici di concetti matematici primitivi è secondo me sopravvalutare la realtà della matematica.<BR/><BR/>(Mi sembra che tu sia molto platonista: una lettura di Davies, "Science in the looking glass", potrebbe giovarti)Lap(l)acianohttps://www.blogger.com/profile/11248894666182819759noreply@blogger.comtag:blogger.com,1999:blog-22400426.post-28963702766113269332009-03-06T01:04:00.000+01:002009-03-06T01:04:00.000+01:00Premetto che non desideravo essere portato su ques...Premetto che non desideravo essere portato su questo terreno adesso. Al di là del teorema di Baire, c'è qualcosa prima che non capisco, il che mi fa pensare che questioni di densità, completezza etc. non siano rilevanti, oppure lo siano ma assumano in qualche modo quello che io sto cercando di capire. Vedi, tu mi scrivi<BR/><BR/>R = U_{x in R} {x}<BR/><BR/>il che è abbastanza tautologico, e va bene così, me la sono cercata. C'è una cosa che non capisco in una simile scrittura, se R è più che numerabile: come puoi descrivere gli insiemi {x} senza specificare tutti gli infiniti numeri decimali di x, il che equivale a chiedersi come fai a rintracciare un label x con finita informazione. R non potrà essere l'unione numerabile dei suoi elementi, ma faccio fatica a vedere come possa essere l'unione non numerabile dei suoi elementi. Non cerco teoremi, cerco di intuire la "fisicità" di questo continuo.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-22400426.post-39371198220842198192009-03-05T10:12:00.000+01:002009-03-05T10:12:00.000+01:00Proviamo a fare le cose con calma. L'unione so...Proviamo a fare le cose con calma. L'unione sovrannumerabile di insiemi non presenta alcun problema. Per definizione<BR/><BR/>x in U_{i in I} A_i <-> esiste i in I tale che x in A_i<BR/><BR/>indipendentemente dalla cardinalità di I. Applichiamo adesso questa definizione ad un insieme X qualsiasi prendendo come A_i gli insiemi costituiti dagli elementi singoli. Otteniamo<BR/><BR/>x in U_{y in X} {y} <-> esiste y in X tale che x in {y}<BR/><BR/>Dato che x è contenuto in {y} se e solo se x=y, otteniamo l'equivalenza<BR/><BR/>x in U_{y in X} {y} <-> x in X<BR/><BR/>che è esattamente ciò che vogliamo dimostrare.<BR/><BR/>Buona giornata<BR/>StefanoLap(l)acianohttps://www.blogger.com/profile/11248894666182819759noreply@blogger.comtag:blogger.com,1999:blog-22400426.post-72314829970314651902009-03-05T09:59:00.000+01:002009-03-05T09:59:00.000+01:00> ogni insieme, che coincide con l'unione d...> ogni insieme, che coincide con l'unione degli insiemi costituiti dai suoi punti.<BR/><BR/>E' proprio questo che contesto. Non sto dicendo che il teorema di Baire e' sbagliato, ma che la tua applicazione potrebbe non essere rigorosa.<BR/><BR/>Che l'insieme potenza dei naturali contenga una quantita' sovranumerabile di elementi sono d'accordo, Che l'insieme potenza sia "l'unione" di tutti i suoi elementi, beh ci andrei con i piedi di piombo. Che nozione logico-insiemistico di unione stiamo intendendo? Se scrivo P(N) = U_x {???(x)} con x parametro continuo,<BR/>come caratterizzi tutti gli elementi ???(x) di P(N) con finita informazione?<BR/><BR/>Alla fine secondo me si torna allo stesso problema che mi affligge da tempo: non si riesce ad abbracciare la totalita' dei numeri reali, comunemente intesi come successioni di infinite cifre arbitrarie, con nozioni finite.<BR/><BR/>Se non altro forse l'utilizzo di un avanzato teorema di topologia si sta dimostrando inutile per una questione piu' fondazionale.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-22400426.post-2761553595664006102009-03-04T08:37:00.000+01:002009-03-04T08:37:00.000+01:00Non capisco cosa vuoi dire. Baire è equivalente al...Non capisco cosa vuoi dire. Baire è equivalente all'assioma della scelta dipendente, e solo in questo senso è più "strutturato" dei tagli di Dedekind.<BR/><BR/>I reali sono l'unione degli insiemi costituiti da punti singoli: unioni e intereszioni sono definibili, anche se sovrannumerabili, senza problemi di sorta.<BR/><BR/>In realtà questo è banalmente vero per ogni insieme, che coincide con l'unione degli insiemi costituiti dai suoi punti.Lap(l)acianohttps://www.blogger.com/profile/11248894666182819759noreply@blogger.comtag:blogger.com,1999:blog-22400426.post-22002256828569764322009-03-03T21:55:00.000+01:002009-03-03T21:55:00.000+01:00Purtroppo non sono esperto di topologia, né tantom...Purtroppo non sono esperto di topologia, né tantomeno di categorie. Non credo di poter confutare questa dimostrazione entro stasera, eheh... Noto solo che poggia su strutture matematiche che vengono molto dopo rispetto all'assiomatica degli insiemi numerici, io mi focalizzo invece su questioni più fondamentali. La "completezza" topologica è un concetto più strutturato rispetto all'esistenza e appartenenza del taglio di Dedekind. C'è la possibilità che i problemi siano nascosti sotto il tappeto, ma persistano. Per esempio, cosa vuol dire che i reali sono l'unione dei loro punti? Mi sembra un'affermazione piuttosto discutibile, dato che questo contemplerebbe un'"unione continua" che in topologia sicuramente non ha residenza (unioni numerabili, intersezioni finite). Se poi uno definisce l'unione continua, e questa definizione richiede una teoria degli insiemi con definizioni di infinita informazione, dal mio punto di vista si inciampa. Nel frattempo ho parzialmente modificato la mia posizione: dubito che si possa costruire un modello numerabile dei reali, ma credo che sia possibile che la questione sia indecidibile.tomatehttps://www.blogger.com/profile/09711368972086055059noreply@blogger.com