zbiory dziurawe
: 26 gru 2008, o 19:33
Aktualnie opracowuję alternatywną teorię mnogości którą nazwałem teorią zbiorów dziurawych.
Wprowadzam nowy operator mnogościowy "być w zbiorze" \(\displaystyle{ \omega}\)
[ Dodano: 27 Grudnia 2008, 14:03 ]
Element może być w zbiorze \(\displaystyle{ x \stackrel o \in y}\) ale do niego nie należeć \(\displaystyle{ x \not\in y}\) np. dziura jest w zbiorze, ale do niego nie należy.
Definiuję zbiór dziurawy:
\(\displaystyle{ \stackrel o X_Y \stackrel {df} = X \stackrel o \setminus Y \stackrel {df} = (X \setminus Y, Y) \stackrel {df} = \{X \setminus Y, (Y)\}}\) gdzie X, Y zbiory typu ZFC (spełniające aksjomatykę ZFC)
Ex. niech \(\displaystyle{ X = \{1 , 2\}}\) oraz \(\displaystyle{ Y = \{3\}}\)
\(\displaystyle{ \stackrel o {\{1, 2\}}_{\{3\}} = \{1,2, (3)\}}\) czyli zbiór dziurawy \(\displaystyle{ \{1, 2\}}\) z dziurą po zbiorze \(\displaystyle{ \{3\}}\)
[ Dodano: 27 Grudnia 2008, 17:03 ]
Dla dowolnego zbioru X typu ZFC definiuję na nim sito:
Sitem ze zbioru X nazywam zbiór dziurawy zawierający wszystkie możliwe kombinacje elementów wraz z dziurami po elementach zbioru X.
\(\displaystyle{ S(\emptyset ) = \{()\}
S(\{1\}) = \{(), (1),\{1\}\}
S(\{1,2\}) = \{(), (1), \{1\}, \{1,(2)\}, (1,2), \{1, 2\}, (2), \{2\}, \{(1), 2\}\}
S(\{1, 2, 3\}) = S(\{1\}) \cup S(\{2\}) \cup S(\{3\}) \cup S(\{1,2\}) \cup S(\{1, 3\}) \cup S(\{2,3\}) \cup \{1,2,3\} \cup (1,2,3) \cup \{1,2,(3)\} \cup \{1, (2), 3\} \cup \{(1), 2, 3\} \cup \{(1,2), 3\} \cup \{(1, 2), (3)\} \cup \{(1,3), 2)\} \cup \{(1,3),(2)\} \cup \{(1),(2,3)\} \cup \{1,(2,3)\}}\)
[ Dodano: 27 Grudnia 2008, 17:20 ]
1. trzeba znaleźć ogólną procedurę do obliczenia mocy zbioru S(X) dla danego X
\(\displaystyle{ |S(\emptyset)|=1}\)
\(\displaystyle{ |S(X)|=3^{|X|}}\)
w szczególności
\(\displaystyle{ |S(N)|=3^{|N|}=3^{\aleph_0} = |\Re|= c}\)
2. zredwidować aksjomat zbioru pustego, potęgowego, nieskończonego ogólnie aksjomatykę ZFC
3. sfromułować i udowodnić twierdzenia np. twierdzenie o indywiduum (mam to gdzieś w głowie i zeszycie)
4. powiązać ze zbiorami rozmytymi (THS wydaje się być dolnym ograniczeniem zbiorów rozmytych)
5. powiązać z mereologią Leśniewskiego
6. powiązać z "moją" (może nie "", ale nie żyjemy w próżni ) teorią włókien
7. https://matematyka.pl/114547.htm
Wprowadzam nowy operator mnogościowy "być w zbiorze" \(\displaystyle{ \omega}\)
[ Dodano: 27 Grudnia 2008, 14:03 ]
Element może być w zbiorze \(\displaystyle{ x \stackrel o \in y}\) ale do niego nie należeć \(\displaystyle{ x \not\in y}\) np. dziura jest w zbiorze, ale do niego nie należy.
Definiuję zbiór dziurawy:
\(\displaystyle{ \stackrel o X_Y \stackrel {df} = X \stackrel o \setminus Y \stackrel {df} = (X \setminus Y, Y) \stackrel {df} = \{X \setminus Y, (Y)\}}\) gdzie X, Y zbiory typu ZFC (spełniające aksjomatykę ZFC)
Ex. niech \(\displaystyle{ X = \{1 , 2\}}\) oraz \(\displaystyle{ Y = \{3\}}\)
\(\displaystyle{ \stackrel o {\{1, 2\}}_{\{3\}} = \{1,2, (3)\}}\) czyli zbiór dziurawy \(\displaystyle{ \{1, 2\}}\) z dziurą po zbiorze \(\displaystyle{ \{3\}}\)
[ Dodano: 27 Grudnia 2008, 17:03 ]
Dla dowolnego zbioru X typu ZFC definiuję na nim sito:
Sitem ze zbioru X nazywam zbiór dziurawy zawierający wszystkie możliwe kombinacje elementów wraz z dziurami po elementach zbioru X.
\(\displaystyle{ S(\emptyset ) = \{()\}
S(\{1\}) = \{(), (1),\{1\}\}
S(\{1,2\}) = \{(), (1), \{1\}, \{1,(2)\}, (1,2), \{1, 2\}, (2), \{2\}, \{(1), 2\}\}
S(\{1, 2, 3\}) = S(\{1\}) \cup S(\{2\}) \cup S(\{3\}) \cup S(\{1,2\}) \cup S(\{1, 3\}) \cup S(\{2,3\}) \cup \{1,2,3\} \cup (1,2,3) \cup \{1,2,(3)\} \cup \{1, (2), 3\} \cup \{(1), 2, 3\} \cup \{(1,2), 3\} \cup \{(1, 2), (3)\} \cup \{(1,3), 2)\} \cup \{(1,3),(2)\} \cup \{(1),(2,3)\} \cup \{1,(2,3)\}}\)
[ Dodano: 27 Grudnia 2008, 17:20 ]
1. trzeba znaleźć ogólną procedurę do obliczenia mocy zbioru S(X) dla danego X
\(\displaystyle{ |S(\emptyset)|=1}\)
\(\displaystyle{ |S(X)|=3^{|X|}}\)
w szczególności
\(\displaystyle{ |S(N)|=3^{|N|}=3^{\aleph_0} = |\Re|= c}\)
2. zredwidować aksjomat zbioru pustego, potęgowego, nieskończonego ogólnie aksjomatykę ZFC
3. sfromułować i udowodnić twierdzenia np. twierdzenie o indywiduum (mam to gdzieś w głowie i zeszycie)
4. powiązać ze zbiorami rozmytymi (THS wydaje się być dolnym ograniczeniem zbiorów rozmytych)
5. powiązać z mereologią Leśniewskiego
6. powiązać z "moją" (może nie "", ale nie żyjemy w próżni ) teorią włókien
7. https://matematyka.pl/114547.htm