insiemi

Messaggioda francescodd » 26/09/2008, 23:29

S$sube$T$sube$V$sube$S equivale a S=T=V ?

S$sube$T e S$sub$T equivalgono rispettivamente a P(S)$sube$P(T) e P(S)$sub$P(T)? P(S)=insieme delle parti di S

secondo me la prima e vera e la seconda è falsa. aspetto vostre risposte grazie ciao
francescodd
Junior Member
Junior Member
 
Messaggio: 76 di 181
Iscritto il: 17/07/2008, 10:35

Messaggioda dissonance » 26/09/2008, 23:48

mah, a occhio mi paiono vere tutte e due invece. la prima è facile. la seconda: se $S\subeT$, ogni sottoinsieme di S lo è pure di T e quindi $P(S)\subeP(T)$. Il viceversa è vero perché $S\inP(S)$, quindi se $P(S)\subeP(T)$ vuol dire che anche tutto $S$ è un elemento di $P(T)$ e perciò $S\subeT$. Analogamente per $\sub$. ci sono errori?
dissonance
Moderatore
Moderatore
 
Messaggio: 634 di 27760
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Messaggioda adaBTTLS » 26/09/2008, 23:54

secondo me sono vere entrambe.
potrei avere qualche perplessità sul fatto che nella seconda P(S) contenuto in P(T) implichi S contenuto in T, ma penso sia legato al fatto di aver detto che sono gli insiemi delle parti di S e di T.
gli elementi di P(S) sono sottoinsiemi di S e dunque sottoinsiemi di T.
... a quest'ora magari un po' di lucidità può venire a mancare, rifletti.
ciao.
Avatar utente
adaBTTLS
Cannot live without
Cannot live without
 
Messaggio: 1409 di 8319
Iscritto il: 14/05/2008, 18:35
Località: Abruzzo

Messaggioda francescodd » 26/09/2008, 23:56

si è vero
francescodd
Junior Member
Junior Member
 
Messaggio: 77 di 181
Iscritto il: 17/07/2008, 10:35

Messaggioda Chevtchenko » 27/09/2008, 12:37

Puoi ragionare così: $\forall x \in S, \{x\} \in \mathcal{P}(S)$ per cui $\{x\} \in \mathcal{P}(T)$ per cui $x \in T$ e perciò $S \subseteq T$.
Ще не вмерли України ні слава, ні воля.
Avatar utente
Chevtchenko
Average Member
Average Member
 
Messaggio: 814 di 892
Iscritto il: 21/04/2007, 19:57


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

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite