Skończony zbiór częściowo uporządkowany - element maksymalny

Algebra zbiorów. Relacje, funkcje, iloczyny kartezjańskie... Nieskończoność, liczby kardynalne... Aksjomatyka.
WeronikaWeronika
Użytkownik
Użytkownik
Posty: 14
Rejestracja: 29 maja 2012, o 21:48
Płeć: Kobieta
Lokalizacja: poznań

Skończony zbiór częściowo uporządkowany - element maksymalny

Post autor: WeronikaWeronika »

Bardzo proszę o pomoc:

Sprawdź, że każdy skończony zbiór częściowo uporządkowany zawiera element maksymalny.
Jan Kraszewski
Administrator
Administrator
Posty: 34124
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 3 razy
Pomógł: 5192 razy

Skończony zbiór częściowo uporządkowany - element maksymalny

Post autor: Jan Kraszewski »

Indukcyjnie po liczbie elementów zbioru.

JK
WeronikaWeronika
Użytkownik
Użytkownik
Posty: 14
Rejestracja: 29 maja 2012, o 21:48
Płeć: Kobieta
Lokalizacja: poznań

Skończony zbiór częściowo uporządkowany - element maksymalny

Post autor: WeronikaWeronika »

a może ktoś to udowodnić?
Jan Kraszewski
Administrator
Administrator
Posty: 34124
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 3 razy
Pomógł: 5192 razy

Skończony zbiór częściowo uporządkowany - element maksymalny

Post autor: Jan Kraszewski »

A próbowałaś sama?

JK
WeronikaWeronika
Użytkownik
Użytkownik
Posty: 14
Rejestracja: 29 maja 2012, o 21:48
Płeć: Kobieta
Lokalizacja: poznań

Skończony zbiór częściowo uporządkowany - element maksymalny

Post autor: WeronikaWeronika »

tak i zagubilam sie... pomozesz?
Awatar użytkownika
miki999
Użytkownik
Użytkownik
Posty: 8691
Rejestracja: 28 lis 2007, o 18:10
Płeć: Mężczyzna
Lokalizacja: Gdańsk
Podziękował: 36 razy
Pomógł: 1001 razy

Skończony zbiór częściowo uporządkowany - element maksymalny

Post autor: miki999 »

Pokaż, w którym miejscu się zgubiłaś.
WeronikaWeronika
Użytkownik
Użytkownik
Posty: 14
Rejestracja: 29 maja 2012, o 21:48
Płeć: Kobieta
Lokalizacja: poznań

Skończony zbiór częściowo uporządkowany - element maksymalny

Post autor: WeronikaWeronika »

jednak nie mam pojęcia jak to udowodnić.... pomożesz mi? od tego zależy moje zaliczenie bardzo proszę..-- 10 cze 2012, o 15:31 --czy dowód lematu Kuratowskiego-Zorna jest rozwiązeniem?
Jan Kraszewski
Administrator
Administrator
Posty: 34124
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 3 razy
Pomógł: 5192 razy

Skończony zbiór częściowo uporządkowany - element maksymalny

Post autor: Jan Kraszewski »

WeronikaWeronika pisze:czy dowód lematu Kuratowskiego-Zorna jest rozwiązeniem?
To twierdzenie nie wymaga lematu Kuratowskiego-Zorna.

Robisz indukcję po liczbie elementów zbioru uporządkowanego i jest to indukcja porządkowa. Sprawdzasz dla \(\displaystyle{ n=1}\) - trywialne, potem dla dowolnie ustalonego \(\displaystyle{ n}\) zakładasz, że każdy niepusty zbiór częściowo uporządkowany mocy \(\displaystyle{ <n}\) ma element maksymalny i pokazujesz, że każdy zbiór mocy \(\displaystyle{ n}\) ma element maksymalny. W tym celu ustalasz dowolny \(\displaystyle{ n}\)-elementowy zbiór częściowo uporządkowany \(\displaystyle{ A}\) (z porządkiem \(\displaystyle{ \le}\)) i dowolne \(\displaystyle{ a\in A}\). Masz teraz dwa przypadki do rozpatrzenia:
1. \(\displaystyle{ a}\) jest maksymalny w \(\displaystyle{ A}\) - świetnie
2. \(\displaystyle{ a}\) nie jest maksymalny w \(\displaystyle{ A}\) - badasz niepusty zbiór \(\displaystyle{ \{x\in A: x>a\}}\).

JK
ODPOWIEDZ