Korisnički Kontrolni Panel
Pogledajte svoj profil
Pogledajte svoje postove
ČPP
Prijavite se

Matematički forum na kojem možete da diskutujete o raznim matematičkim oblastima, pomognete drugima oko rešavanja zadataka, a i da dobijete pomoć kada vam zatreba


















Index stranica OSTALE MATEMATIČKE OBLASTI TEORIJA SKUPOVA

Unija partitivnog skupa

[inlmath]C\backslash\left(A\cap B\right)=\left(C\backslash A\right)\cup\left(C\backslash B\right)[/inlmath]

Unija partitivnog skupa

Postod roshoo » Subota, 16. Decembar 2017, 15:43

Dokazati da za svaki skup [inlmath]a[/inlmath] vazi jednakost [inlmath]a = \bigcup \mathcal{P}(a)[/inlmath]

Imamo aksiomu partitivnog skupa: [inlmath]\forall a \exists y \forall x ( x \in y\iff\forall t(t \in x \Rightarrow t \in a))[/inlmath]
ili krace: [inlmath]\forall a \exists y \forall x ( x \in y\iff x \subseteq a)[/inlmath]

i aksiomu unije: [inlmath]\forall a \exists y \forall x ( x \in y\iff\exists t(t\in a\land x\in t))[/inlmath]

Pokusao sam ovako
[dispmath]a'\in a \enspace \text{proizvoljno}\\
\{a'\}\subseteq a\\
x\in\mathcal{P}(a)\iff x\subseteq a \quad (x=\{a'\})\\
\{a'\} \subseteq a\quad \Rightarrow\quad \{a'\}\in\mathcal{P}(a)\\
x\in \bigcup a\iff \exists t(t \in a \land x \in t)\quad \land \quad\{a'\} \in \mathcal{P}(a)\quad \land \quad a'\in\{a'\}\\
\Rightarrow\quad a'\in \bigcup \mathcal{P}(a) \quad \Rightarrow\quad a \subseteq \bigcup \mathcal{P}(a)\\[/dispmath]

Ne znam kako da dokazem da je [inlmath]a \supseteq \bigcup \mathcal{P}(a)[/inlmath] i da li je uopste potrebno da se radi na taj nacin ili je moguce da se odmah dokaze jednakost. Los sam u formalnom zapisivanju, nisam siguran ni da je ovo sto sam uradio tacno, help.
Korisnikov avatar
roshoo  OFFLINE
 
Postovi: 13
Zahvalio se: 8 puta
Pohvaljen: 6 puta

Sharuj ovu temu na:

Share on Facebook Facebook Share on Twitter Twitter Share on MySpace MySpace Share on Google+ Google+

Povratak na TEORIJA SKUPOVA

Ko je OnLine

Korisnici koji su trenutno na forumu: Nema registrovanih korisnika i 1 gost


Index stranicaTimObriši sve kolačiće boarda
Danas je Četvrtak, 13. Decembar 2018, 15:07 • Sva vremena su u UTC + 1 sat
Pokreće ga phpBB® Forum Software © phpBB Group
Prevod – www.CyberCom.rs