Chiarimenti relazione d'ordine

Messaggioda Spike32 » 07/01/2019, 11:13

Salve a tutti, avrei bisogno dei chiarimenti riguardo alle relazioni d'ordine, massimali e minimali.
In particolare questo esercizio richiede:

Sia $S={1,a,2}$, e sia $P(S)$ l'insieme delle parti di $S$. Posto $T = P(S)-{O/}$, si consideri l'insieme ordinato $(T,sube)$.
(a) Stabilire se $(T,sube)$ possiede massimo
(b) Stabilire se $(T,sube)$ possiede minimo
(c) Stabilire quali sono gli eventuali elementi massimali
(d) Stabilire quali sono gli eventuali elementi minimali
(e) Disegnare il diagramma di Hasse di $(T,sube)$
(f) La parte ${{1},{2}} sub T$ è inferiormente limitata?

Ora, per il punto (a) il massimo è ${1,a,2}$, mentre per il punto (b) non possiede minimo. Per quanto riguarda il punto (c) so che un elemento a si dice massimale se non esiste alcun elemento maggiore di a, ma in questo caso come faccio a stabilire se un elemento "è maggiore" di un altro? Stessa cosa per il punto (d). Anche per il punto (f) ho lo stesso problema, ovvero so che la parte chiamiamola $X$ è inferiormente limitata se è dotata di qualche minorante, e un elemento di sice minorante se è minore o uguale di ogni altro elemento di $X$, ma anche in questo caso come faccio a stabilire se un elemento è "minore o uguale" di un altro?

Quindi avrei bisogno di un bel pò di chiarimenti, se gentilmente qualcuno è disposto ad aiutarmi :-D
Spike32
New Member
New Member
 
Messaggio: 32 di 82
Iscritto il: 07/05/2016, 12:19

Re: Chiarimenti relazione d'ordine

Messaggioda fmnq » 09/01/2019, 23:25

Spike32 ha scritto: in questo caso come faccio a stabilire se un elemento "è maggiore" di un altro? Stessa cosa per il punto (d). Anche per il punto (f) ho lo stesso problema, ovvero so che la parte chiamiamola $X$ è inferiormente limitata se è dotata di qualche minorante, e un elemento di sice minorante se è minore o uguale di ogni altro elemento di $X$, ma anche in questo caso come faccio a stabilire se un elemento è "minore o uguale" di un altro?

Secondo te il simbolo \(\subseteq\) nella coppia \((T, \subseteq)\) cosa significa?
fmnq
Average Member
Average Member
 
Messaggio: 95 di 764
Iscritto il: 03/10/2017, 23:14

Re: Chiarimenti relazione d'ordine

Messaggioda marco2132k » 10/01/2019, 00:14

Potresti anche partire dal punto (e), così "vedi" che succede.
marco2132k
Advanced Member
Advanced Member
 
Messaggio: 165 di 2053
Iscritto il: 18/02/2018, 23:52

Re: Chiarimenti relazione d'ordine

Messaggioda Spike32 » 11/01/2019, 18:30

marco2132k ha scritto:Potresti anche partire dal punto (e), così "vedi" che succede.

Effettivamente si, la situazione è molto più chiara :-D
Spike32
New Member
New Member
 
Messaggio: 41 di 82
Iscritto il: 07/05/2016, 12:19


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite