Mam liniowy porządek \(\displaystyle{ \langle X, \leq \rangle}\) i dowolne \(\displaystyle{ A, B \subseteq X }\).
Czy jeśli istnieje sup\(\displaystyle{ (A\cup B)}\), to istnieją sup\(\displaystyle{ A}\) i sup\(\displaystyle{ B}\)?
Myśle, że nie. Kontr-przykład:
Niech \(\displaystyle{ X}\) będzie zbiorem \(\displaystyle{ \mathbb{Q} }\) i niech \(\displaystyle{ A = \{ x \in \mathbb{Q} : x^2 \leq 2\}}\), \(\displaystyle{ B = \{ x \in \mathbb{Q} : x^2 \leq 4\}}\). Oczywiście, \(\displaystyle{ \leq}\) jest liniowym porządkiem w \(\displaystyle{ \mathbb{Q}}\). Wtedy
sup\(\displaystyle{ (A\cup B) = 2}\), bo \(\displaystyle{ A \subseteq B}\) i sup\(\displaystyle{ B = 2}\) (tak zdefiniowałem te zbiory). sup\(\displaystyle{ A = \sqrt{2}}\), ale \(\displaystyle{ \sqrt{2}}\) nie należy do liczb wymiernych \(\displaystyle{ \mathbb{Q}}\) i wtedy sup\(\displaystyle{ A}\) nie istnieje.
Czy mój dowód jest poprawny?
Czy istnieją sup?
-
- Użytkownik
- Posty: 14
- Rejestracja: 3 gru 2023, o 22:08
- Płeć: Mężczyzna
- wiek: 19
- Podziękował: 11 razy
- Janusz Tracz
- Użytkownik
- Posty: 4077
- Rejestracja: 13 sie 2016, o 15:01
- Płeć: Mężczyzna
- Lokalizacja: hrubielowo
- Podziękował: 80 razy
- Pomógł: 1395 razy
Re: Czy istnieją sup?
Imho jest ok. Pomysł z wykorzystaniem dziur w \(\displaystyle{ \QQ}\) jest dobry. Może wystarczy też zauważyć, że jeśli \(\displaystyle{ \left\langle X, \le \right\rangle }\) to porządek bez najmniejszego elementu to supremum \(\displaystyle{ A=\varnothing}\) nie istnieje. Biorąc dowolny \(\displaystyle{ B}\) z supremum dostaniemy sprzeczność.
PS ja tego nie umiem. Tylko se pisze na forum z nudów.
PS ja tego nie umiem. Tylko se pisze na forum z nudów.
-
- Administrator
- Posty: 34297
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Re: Czy istnieją sup?
Tak, to dobry kontrprzykład (bez dywizu).
JK
Kod: Zaznacz cały
https://contentwriter.pl/dywiz-pauza-polpauza/
Ostatnio zmieniony 28 gru 2023, o 06:37 przez admin, łącznie zmieniany 1 raz.
-
- Użytkownik
- Posty: 1407
- Rejestracja: 20 lip 2012, o 21:19
- Płeć: Mężczyzna
- Lokalizacja: Rzeszów
- Podziękował: 66 razy
- Pomógł: 83 razy
Re: Czy istnieją sup?
Za to mamy fakt odwrotny (jeśli dobrze pamiętam), mówiący, że w zbiorze liniowo uporządkowanym \(\displaystyle{ \left( X, \le\right), }\) jeśli zbiór \(\displaystyle{ A \subset X}\) ma supremum \(\displaystyle{ \bigvee A,}\) i zbiór \(\displaystyle{ B \subset X}\) ma supremum \(\displaystyle{ \bigvee B}\), to zbiór \(\displaystyle{ A \cup B}\) ma supremum i to równe większej z tych dwóch wartości: \(\displaystyle{ \bigvee \left( A \cup B\right)= max\left( \bigvee A, \bigvee B\right)}\).
- Dasio11
- Moderator
- Posty: 10227
- Rejestracja: 21 kwie 2009, o 19:04
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 40 razy
- Pomógł: 2362 razy
Re: Czy istnieją sup?
Prawdą jest również, że jeśli istnieje supremum \(\displaystyle{ A \cup B}\), to przynajmniej jedno z supremów \(\displaystyle{ \sup A}\), \(\displaystyle{ \sup B}\) istnieje i jest równe \(\displaystyle{ \sup(A \cup B)}\).