Ordinamento totale di $RR$

Messaggioda AnalisiZero » 06/12/2017, 21:40

Ciao,

Non capisco una cosa.
Prendiamo la relazione "minore o uguale" in $RR$: nel libro c'è scritto che è una relazione antisimmetrica, cioè presa una qualunque coppia $x,y$ di numeri reali, se $x<=y$ e $y<=x$ allora $x=y$. Ma se io penso alla definizione di relazione antisimmetrica, la proprietà antisimmetrica significa presa una coppia x,y se x è in relazione con y, allora non è mai vero che y è in relazione con x. Allora secondo la definizione che conosco, non si può dire che $x<=y$ e $y<=x$, contemporaneamente, allora non sarebbe antisimmetrica.
AnalisiZero
Advanced Member
Advanced Member
 
Messaggio: 115 di 2016
Iscritto il: 15/10/2017, 07:17

Re: Ordinamento totale di $RR$

Messaggioda otta96 » 06/12/2017, 23:34

Dipende dalla definizione: di solito l'antisimmetricità si definisce come $x<=y,y<=x=>x=y$, ma alcuni chiamano antisimmetrica un relazione in cui vale $x<y=>\noty<x$, anche se secondo me questa proprietà sarebbe meglio chiamarla asimmetria.
otta96
Cannot live without
Cannot live without
 
Messaggio: 783 di 5748
Iscritto il: 12/09/2015, 22:15

Re: Ordinamento totale di $RR$

Messaggioda AnalisiZero » 07/12/2017, 15:50

otta96 ha scritto:Dipende dalla definizione: di solito l'antisimmetricità si definisce come $x<=y,y<=x=>x=y$, ma alcuni chiamano antisimmetrica un relazione in cui vale $x<y=>\noty<x$, anche se secondo me questa proprietà sarebbe meglio chiamarla asimmetria.

Secondo voi potrei fare questo ragionamento per spiegare la cosa?
Io so che la definizione di relazione antisimmetrica è: presa qualunque coppia $x,y$ dentro l'insieme con $x$ diverso da $y$, se è vero che $xRy$ allora non è mai vero che $yRx$. Allora posso pensare che l'unico caso in cui sono vere entrambe le proposizioni, è quando $x$ e $y$ sono uguali e ciò si riconduce alla proprietà riflessiva della stessa relazione che nel caso di elemento in relazione con se stesso può essere letta in entrambi i sensi.
Regge? :D
AnalisiZero
Advanced Member
Advanced Member
 
Messaggio: 117 di 2016
Iscritto il: 15/10/2017, 07:17

Re: Ordinamento totale di $RR$

Messaggioda otta96 » 10/12/2017, 17:40

Se prendi quella come definizione della proprietà antisimmetrica, allora una relazione non può essere contemporaneamente antisimmetrica e riflessive pensa al perché...
otta96
Cannot live without
Cannot live without
 
Messaggio: 788 di 5748
Iscritto il: 12/09/2015, 22:15

Re: Ordinamento totale di $RR$

Messaggioda AnalisiZero » 11/12/2017, 10:17

otta96 ha scritto:Se prendi quella come definizione della proprietà antisimmetrica, allora una relazione non può essere contemporaneamente antisimmetrica e riflessive pensa al perché...

Perché? La relazione di $<=$ risulta antisimmetrica perché se prendo una coppia di $x,y$ diversi tra loro, non posso leggere una proposizione vera scambiandoli. È riflessiva perché ogni elemento è in relazione con se stesso, infatti ogni elemento è uguale a se stesso.
AnalisiZero
Advanced Member
Advanced Member
 
Messaggio: 128 di 2016
Iscritto il: 15/10/2017, 07:17

Re: Ordinamento totale di $RR$

Messaggioda killing_buddha » 11/12/2017, 11:28

AnalisiZero ha scritto:
otta96 ha scritto:Se prendi quella come definizione della proprietà antisimmetrica, allora una relazione non può essere contemporaneamente antisimmetrica e riflessive pensa al perché...

Perché? La relazione di $<=$ risulta antisimmetrica perché se prendo una coppia di $x,y$ diversi tra loro, non posso leggere una proposizione vera scambiandoli. È riflessiva perché ogni elemento è in relazione con se stesso, infatti ogni elemento è uguale a se stesso.

Se è vero che $x\le y$, allora a volte è vero pure che $y\le x$. Il punto è che tu stai usando una definizione grillina di antisimmetria che impedisce a $\le$ di essere allo stesso tempo riflessiva e antisimmetrica.
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 1697 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Ordinamento totale di $RR$

Messaggioda AnalisiZero » 11/12/2017, 11:37

killing_buddha ha scritto:
AnalisiZero ha scritto:
otta96 ha scritto:Se prendi quella come definizione della proprietà antisimmetrica, allora una relazione non può essere contemporaneamente antisimmetrica e riflessive pensa al perché...

Perché? La relazione di $<=$ risulta antisimmetrica perché se prendo una coppia di $x,y$ diversi tra loro, non posso leggere una proposizione vera scambiandoli. È riflessiva perché ogni elemento è in relazione con se stesso, infatti ogni elemento è uguale a se stesso.

Se è vero che $x\le y$, allora a volte è vero pure che $y\le x$. Il punto è che tu stai usando una definizione grillina di antisimmetria che impedisce a $\le$ di essere allo stesso tempo riflessiva e antisimmetrica.

Ma se io prendo una coppia di reali, ad esempio $4,5$ se $4<=5$ allora non è vero che $5<=4$ (antisimmetrica).
Invece $4<=4$ perché $4=4$ (riflessiva). Quando dici "a volte" intendi il caso in cui $x,y$ sono uguali? Allora ciò si riduce alla proprietà riflessiva o sbaglio? Perché ho "evitato" questa ambiguità parlando di proprietà antisimmetrica solo per coppie $x,y$ con $x$ diverso da $y$
AnalisiZero
Advanced Member
Advanced Member
 
Messaggio: 130 di 2016
Iscritto il: 15/10/2017, 07:17

Re: Ordinamento totale di $RR$

Messaggioda killing_buddha » 11/12/2017, 11:46

Il punto è che tu hai in mente unicamente relazioni che sono seriali ("per ogni $x$ esiste almeno un $y$ tale che $x\le y$, $\le$ è ora semplicemente un simbolo di relazione). Per queste, la proprietà antisimmetrica (o anche quella simmetrica) e quella transitiva insieme implicano la riflessività in modo ovvio. Ma prova a trovare un esempio di relazione $R$ su un insieme che, sebbene sia simmetrica (o antisimmetrica) e transitiva non è riflessiva.
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 1698 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Ordinamento totale di $RR$

Messaggioda AnalisiZero » 12/12/2017, 17:01

killing_buddha ha scritto:Il punto è che tu hai in mente unicamente relazioni che sono seriali ("per ogni $x$ esiste almeno un $y$ tale che $x\le y$, $\le$ è ora semplicemente un simbolo di relazione). Per queste, la proprietà antisimmetrica (o anche quella simmetrica) e quella transitiva insieme implicano la riflessività in modo ovvio. Ma prova a trovare un esempio di relazione $R$ su un insieme che, sebbene sia simmetrica (o antisimmetrica) e transitiva non è riflessiva.

La relazione $<$ è antisimmetrica, transitiva, ma non è riflessiva giusto?


Ultimo bump di AnalisiZero effettuato il 12/12/2017, 17:01.
AnalisiZero
Advanced Member
Advanced Member
 
Messaggio: 134 di 2016
Iscritto il: 15/10/2017, 07:17


Torna a Analisi matematica di base

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite