Jeśli prawda, że żaden zbiór nie jest swoim własnym..
-
- Użytkownik
- Posty: 63
- Rejestracja: 23 sie 2011, o 13:09
- Płeć: Mężczyzna
- Lokalizacja: Polska
- Podziękował: 21 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
Jeśli prawda, że żaden zbiór nie jest swoim własnym elementem, to:
1. każdy zbiór może być swoim własnym zbiorem, prawda/fałsz
2. element nie może być zbiorem, ale zbiór może zawierać zbiory prawda/fałsz
3. nieprawda, że zbiór może zawierać zarówno zbiory i elementy obok siebie prawda/fałsz
1. każdy zbiór może być swoim własnym zbiorem, prawda/fałsz
2. element nie może być zbiorem, ale zbiór może zawierać zbiory prawda/fałsz
3. nieprawda, że zbiór może zawierać zarówno zbiory i elementy obok siebie prawda/fałsz
-
- Administrator
- Posty: 34285
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
Ad 1. Nie tylko może być, ale jest (i nie zależy to od wstępnego założenia).
Ad 2. Istnieją zbiory, których elementami są zbiory. Zbiór zawiera wyłącznie zbiory.
Ad 3. Niejasne sformułowanie (co to znaczy "zawierać elementy"?). Zbiór zawiera swoje podzbiory i należą do niego jego elementy i tej terminologii warto się trzymać.
Popatrz na np. zbiór \(\displaystyle{ \{\emptyset, \{\emptyset\}\}}\). Wtedy zbiór \(\displaystyle{ \{\emptyset\}}\) jest równocześnie jego elementem i jego podzbiorem. Może o coś takiego Ci chodziło?
JK
Ad 2. Istnieją zbiory, których elementami są zbiory. Zbiór zawiera wyłącznie zbiory.
Ad 3. Niejasne sformułowanie (co to znaczy "zawierać elementy"?). Zbiór zawiera swoje podzbiory i należą do niego jego elementy i tej terminologii warto się trzymać.
Popatrz na np. zbiór \(\displaystyle{ \{\emptyset, \{\emptyset\}\}}\). Wtedy zbiór \(\displaystyle{ \{\emptyset\}}\) jest równocześnie jego elementem i jego podzbiorem. Może o coś takiego Ci chodziło?
JK
-
- Użytkownik
- Posty: 102
- Rejestracja: 8 sie 2011, o 20:59
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 1 raz
- Pomógł: 14 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
Są teorie mnogości, w których dopuszcza się, by elementem zbioru było coś innego od zbioru. Taki "obiekt" nie będący zbiorem nazywa się urelementem i nawet pierwsze wersje teorii mnogości Zermelo zawierały takie elementy.celtrun pisze:2. element nie może być zbiorem, ale zbiór może zawierać zbiory prawda/fałsz
3. nieprawda, że zbiór może zawierać zarówno zbiory i elementy obok siebie prawda/fałsz
Obecnie przyjęta teoria mnogości zakłada, że elementami zbiorów mogą być tylko zbiory.
-
- Użytkownik
- Posty: 63
- Rejestracja: 23 sie 2011, o 13:09
- Płeć: Mężczyzna
- Lokalizacja: Polska
- Podziękował: 21 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
Skoro zbiór zawiera wyłącznie zbiory, to czy są takie zbiory, które różnią się między sobą właściwościami? A jeśli tak, to dlaczego?
To mam rozumieć, że nie mogę do takiego zbioru dodać jedynki w taki sposób \(\displaystyle{ \{\emptyset, \{\emptyset\}, 1\}}\)? Ale że mogę \(\displaystyle{ \{\emptyset, \{\emptyset\}, \{1\}\}}\)? Czy może tak:
\(\displaystyle{ \{\emptyset, \{\emptyset, 1\}\}}\)
To mam rozumieć, że nie mogę do takiego zbioru dodać jedynki w taki sposób \(\displaystyle{ \{\emptyset, \{\emptyset\}, 1\}}\)? Ale że mogę \(\displaystyle{ \{\emptyset, \{\emptyset\}, \{1\}\}}\)? Czy może tak:
\(\displaystyle{ \{\emptyset, \{\emptyset, 1\}\}}\)
Ostatnio zmieniony 8 wrz 2011, o 23:02 przez celtrun, łącznie zmieniany 1 raz.
-
- Administrator
- Posty: 34285
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
Dokładniej, w naiwnej teorii mnogości (to oficjalna nazwa), w której uprawia się zdecydowaną większość matematyki, urelementy są czymś powszechnym - chyba nikt normalny nie uważa, że liczba \(\displaystyle{ \pi}\) to zbiór...Piotr Pstragowski pisze:Są teorie mnogości, w których dopuszcza się, by elementem zbioru było coś innego od zbioru. Taki "obiekt" nie będący zbiorem nazywa się urelementem i nawet pierwsze wersje teorii mnogości Zermelo zawierały takie elementy.
Obecnie przyjęta teoria mnogości zakłada, że elementami zbiorów mogą być tylko zbiory.
Natomiast aksjomatyczna teoria mnogości, która powstała jako odpowiedź na paradoksy, pojawiające się w naiwnej teorii mnogości, istotnie przyjmuje, że jedyne istniejące obiekty to zbiory, co nie przeszkadza temu, że w tym świecie można odtworzyć całą matematykę.
A co to ma do rzeczy? Niezupełnie rozumiem, o co Ci chodzi.celtrun pisze:Skoro zbiór zawiera wyłącznie zbiory, to czy są takie zbiory, które różnią się między sobą właściwościami? A jeśli tak, to dlaczego?
Możesz zrobić jedno i drugie. Dlaczego nie?celtrun pisze:To mam rozumieć, że nie mogę do takiego zbioru dodać jedynki w taki sposób \(\displaystyle{ \{\emptyset, \{\emptyset\}, 1\}}\)? Ale że mogę \(\displaystyle{ \{\emptyset, \{\emptyset\}, \{1\}\}}\)?
JK
-
- Użytkownik
- Posty: 63
- Rejestracja: 23 sie 2011, o 13:09
- Płeć: Mężczyzna
- Lokalizacja: Polska
- Podziękował: 21 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
Jan Kraszewski pisze:
Natomiast aksjomatyczna teoria mnogości, która powstała jako odpowiedź na paradoksy, pojawiające się w naiwnej teorii mnogości, istotnie przyjmuje, że jedyne istniejące obiekty to zbiory, co nie przeszkadza temu, że w tym świecie można odtworzyć całą matematykę.
\(\displaystyle{ \{1, \{1\}, \{\emptyset\}\}}\) to wtedy drugi element z tej formuły jest \(\displaystyle{ \{1, \{1\}, \{\emptyset\}\}}\), a więc tym samym co pierwsza formuła? Ale jeśli już damy \(\displaystyle{ \{1, 1, \{\emptyset\}\}}\)to drugi element nie jest tym samym co poprzedzająca go formuła, ponieważ nie jest on zbiorem.
A co do mojego pytania to jeszcze chyba muszę poczekać i je zadać na nowo, ale poprawione.
A takie pytanie, czy liczba jest zbiorem?
Ps przepraszam za edycje tego posta. LaTeX ćwiczę.
-
- Administrator
- Posty: 34285
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
W tym miejscu słowo formuła niezbyt pasuje. I, szczerze mówiąc, zupełnie nie wiem, o co Ci chodzi.celtrun pisze:\(\displaystyle{ \{1, \{1\}, \{\emptyset\}\}}\) to wtedy drugi element z tej formuły jest \(\displaystyle{ \{1, \{1\}, \{\emptyset\}\}}\), a więc tym samym co pierwsza formuła? Ale jeśli już damy \(\displaystyle{ \{1, 1, \{\emptyset\}\}}\)to drugi element nie jest tym samym co poprzedzająca go formuła, ponieważ nie jest on zbiorem.
Jedyne, co mogę stwierdzić, to:
Zbiór \(\displaystyle{ \{1, \{1\}, \{\emptyset\}\}}\) ma trzy elementy: \(\displaystyle{ 1}\), \(\displaystyle{ \{1\}}\) oraz \(\displaystyle{ \{\emptyset\}}\). Zbiór \(\displaystyle{ \{1, 1, \{\emptyset\}\}}\) jest nieelegancko zapisany, powinno być \(\displaystyle{ \{1, \{\emptyset\}\}}\) i wtedy ma on dwa elementy: \(\displaystyle{ 1}\) oraz \(\displaystyle{ \{\emptyset\}}\).
Odpowiedź na pytanie, czy liczba jest zbiorem, zależy od kontekstu.
JK
-
- Użytkownik
- Posty: 63
- Rejestracja: 23 sie 2011, o 13:09
- Płeć: Mężczyzna
- Lokalizacja: Polska
- Podziękował: 21 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
Bo mi chodziło, że jeśli jest taki zbiór: \(\displaystyle{ \{\{1\}, \{\emptyset\}\}}\), to pierwszy jego element jest zbiorem zawierającym \(\displaystyle{ \{\{1\}, \{\emptyset\}\}}\), a jeśli byłoby tak: \(\displaystyle{ \{1, \{\emptyset\}\}}\), to jedynka nie jest zbiorem, ale elementem który nie równa się \(\displaystyle{ \{1, \{\emptyset\}\}}\) ani \(\displaystyle{ \{\{1\}, \{\emptyset\}\}}\), bo te dwie 'formuły' to zbiory.
I tak zapytałem czy może liczba sama nie jest czasem zbiorem, bo jeśli tak to \(\displaystyle{ \{1, \{\emptyset\}\}}\) mogłoby przez pierwszy element prowadzić do \(\displaystyle{ \{1, \{\emptyset\}\}}\), ponieważ jeśli by taka jedynka była zbiorem przez samo to że jest, to nie trzeba by jej ubierać w "{}". Ale wtedy też raczej wystarczyłoby zbiór pusty oznaczać przez samo 0.
I tak zapytałem czy może liczba sama nie jest czasem zbiorem, bo jeśli tak to \(\displaystyle{ \{1, \{\emptyset\}\}}\) mogłoby przez pierwszy element prowadzić do \(\displaystyle{ \{1, \{\emptyset\}\}}\), ponieważ jeśli by taka jedynka była zbiorem przez samo to że jest, to nie trzeba by jej ubierać w "{}". Ale wtedy też raczej wystarczyłoby zbiór pusty oznaczać przez samo 0.
-
- Użytkownik
- Posty: 1567
- Rejestracja: 15 gru 2008, o 16:38
- Płeć: Mężczyzna
- Lokalizacja: Ostrzeszów/Wrocław
- Podziękował: 8 razy
- Pomógł: 398 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
Przede wszystkim niezależnie od tego czy uznamy liczbę za zbiór czy nie (aksjomatyczna TM/naiwna TM - jak tłumaczył Jan Kraszewski) mamy, że \(\displaystyle{ 1 \neq \{1\}}\), bo \(\displaystyle{ 1}\) to pewien obiekt (nie ważne czy czy zbiór czy liczba czy krzesło), natomiast \(\displaystyle{ \{1\}}\) to zbiór zawierający ten obiekt. Tak więc nawet jeśli \(\displaystyle{ 1}\) uznajemy za zbiór, to \(\displaystyle{ \{1,\{\varnothing\}\} \neq \left\{ \left\{ 1\right\},\left\{ \varnothing\right\} \right\}}\).
-
- Użytkownik
- Posty: 63
- Rejestracja: 23 sie 2011, o 13:09
- Płeć: Mężczyzna
- Lokalizacja: Polska
- Podziękował: 21 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
Zbiory ze zbiorami, zbiory z niezbiorami, zbiory ze zbiorami i z obiektami itd. itd. Idę spać póki co, bo już straciłem wątek od tej plątaniny. Ale, jeszcze tu wrócę
-
- Administrator
- Posty: 34285
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
Musisz uporządkować używanie terminologii.celtrun pisze:Bo mi chodziło, że jeśli jest taki zbiór: \(\displaystyle{ \{\{1\}, \{\emptyset\}\}}\), to pierwszy jego element jest zbiorem zawierającym \(\displaystyle{ \{\{1\}, \{\emptyset\}\}}\), a jeśli byłoby tak: \(\displaystyle{ \{1, \{\emptyset\}\}}\), to jedynka nie jest zbiorem, ale elementem który nie równa się \(\displaystyle{ \{1, \{\emptyset\}\}}\) ani \(\displaystyle{ \{\{1\}, \{\emptyset\}\}}\), bo te dwie 'formuły' to zbiory.
Jeśli masz taki zbiór: \(\displaystyle{ \{\{1\}, \{\emptyset\}\}}\), to pierwszy jego element to zbiór \(\displaystyle{ \{1\}}\), a drugi to zbiór \(\displaystyle{ \{\emptyset\}}\). Jeśli masz taki zbiór: \(\displaystyle{ \{1, \{\emptyset\}\}}\), to jego pierwszym elementem jest liczba \(\displaystyle{ 1}\), a drugim zbiór \(\displaystyle{ \{\emptyset\}}\).
JK
-
- Użytkownik
- Posty: 102
- Rejestracja: 8 sie 2011, o 20:59
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 1 raz
- Pomógł: 14 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
Nie to miałem na myśli. Rozważa się aksjomatyczne teorie mnogości z urelementami, np. albo NFU, więc aksjomatyczność i urelementy się nie wykluczają.Jan Kraszewski pisze:Natomiast aksjomatyczna teoria mnogości, która powstała jako odpowiedź na paradoksy, pojawiające się w naiwnej teorii mnogości, istotnie przyjmuje, że jedyne istniejące obiekty to zbiory, co nie przeszkadza temu, że w tym świecie można odtworzyć całą matematykę.
-
- Użytkownik
- Posty: 63
- Rejestracja: 23 sie 2011, o 13:09
- Płeć: Mężczyzna
- Lokalizacja: Polska
- Podziękował: 21 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
\(\displaystyle{ \{1, \{\emptyset\}\}}\) - to jest nie po aksjomatyce ZF, bo tutaj ta jedynka nie jest zbiorem, a w ZF są tylko zbiory. Czy jest w końcu?Jan Kraszewski pisze: Jeśli masz taki zbiór: \(\displaystyle{ \{\{1\}, \{\emptyset\}\}}\), to pierwszy jego element to zbiór \(\displaystyle{ \{1\}}\), a drugi to zbiór \(\displaystyle{ \{\emptyset\}}\). Jeśli masz taki zbiór: \(\displaystyle{ \{1, \{\emptyset\}\}}\), to jego pierwszym elementem jest liczba \(\displaystyle{ 1}\), a drugim zbiór \(\displaystyle{ \{\emptyset\}}\).
-
- Administrator
- Posty: 34285
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Jeśli prawda, że żaden zbiór nie jest swoim własnym..
Rozumiem. Tym niemniej rozważanie sytuacji z elementami zbiorów, nie będącymi zbiorami bardziej kojarzy mi się z "typową matematyką" czyli naive STPiotr Pstragowski pisze:Nie to miałem na myśli. Rozważa się aksjomatyczne teorie mnogości z urelementami, np. albo NFU, więc aksjomatyczność i urelementy się nie wykluczają.
Ten zapis jest akurat zdecydowanie bliższy nieaksjomatycznej (naiwnej) teorii mnogości, co nie znaczy, że w teorii aksjomatycznej ZF nie ma sensu. Jak najbardziej ma, tyle, że w ZF jedynka jest po prostu definiowana jako \(\displaystyle{ \{\emptyset\}}\), w związku z tym w teorii aksjomatycznej \(\displaystyle{ \{1, \{\emptyset\}\}=\{1\}}\), zatem nikt nie użyłby zapisu \(\displaystyle{ \{1, \{\emptyset\}\}}\).celtrun pisze:\(\displaystyle{ \{1, \{\emptyset\}\}}\) - to jest nie po aksjomatyce ZF, bo tutaj ta jedynka nie jest zbiorem, a w ZF są tylko zbiory. Czy jest w końcu?
JK