• Nie Znaleziono Wyników

Algebra dla MSEM 1, 2019/2020 ćwiczenia 7. – rozwiązania

N/A
N/A
Protected

Academic year: 2021

Share "Algebra dla MSEM 1, 2019/2020 ćwiczenia 7. – rozwiązania"

Copied!
2
0
0

Pełen tekst

(1)

Algebra dla MSEM 1, 2019/2020 ćwiczenia 7. – rozwiązania

25 października 2019

1. Narysuj diagram Hassego i wskaż elementy minimalne i maksymalne oraz największy i najmniejszy (jeśli istnieją), a także zbiory ograniczeń górnych i dolnych oraz kres górny i dolny zbioru Y (jeśli istnieją) w następujących częściowych porządkach⪯ na zbiorze X,:

a) X= {2, 3, 4, 5, 6, 8, 9, 12, 24}, n ⪯ m ⇔ n∣m, Y = {4, 6},

Zatem elementy minimalne to{2, 3, 5}, maksymalne: {5, 9, 24}, zatem elementy najmniejszy i najwięk- szy nie istnieją.

Zbiorem ograniczeń dolnych zbioru Y jest: {2}, zaś ograniczeń górnych: {12, 24} Kresem górnym Y jest 12, zaś kresem dolnym jest 2.

b) X= P({1, 2, 3}), A ⪯ B ⇔ A ⊆ B, Y = P({2, 3}).

Zatem elementem minimalnym (jedynym) oraz najmniejszym jest ∅, jedynym maksymalnym i naj- większym: {1, 2, 3}.

Zbiorem ograniczeń dolnych zbioru Y jest:{∅}, zaś ograniczeń górnych: {{2, 3}, {1, 2, 3}} Kres górny Y to wobec tego {2, 3}, zaś kresem dolnym jest ∅.

c) X = {1, 2, 3} × P({1, 2}) z porządkiem leksykograficznym, gdzie na {1, 2, 3} rozpatrujemy ≤, a na P({1, 2}) zawieranie. Niech Y = {1, 2, 3} × {{1}} ∪ {⟨3, {2}⟩}.

Zatem elementem minimalnym (jedynym) oraz najmniejszym jest ⟨1, ∅⟩, jedynym maksymalnym i największym:⟨3, {1, 2, 3}⟩.

Zbiorem ograniczeń dolnych zbioru Y jest: {⟨1, ∅⟩ , ⟨1, {1}⟩}, zaś ograniczeń górnych: {⟨3, {1, 2, 3}⟩}

Kres górny Y to wobec tego⟨3, {1, 2, 3}⟩, zaś kresem dolnym jest ⟨1, {1}⟩.

2. Niech X= {0, 1}będzie uporządkowany porządkiem leksykograficznym. Znajdź o ile istnieją, kresy górne i dolne następujących zbiorów:

a) A= {01n∶ n ∈ N},

Zauważmy, że dla każdego w∈ A, 01 ≤lexw, zatem 01 jest kresem dolnym tego zbioru.

Każde słowo zaczynające się od 1 jest ograniczeniem górnym tego zbioru. Natomiast każde słowo zaczynające się od zera, nie jest, zatem kresem górnym A jest 1.

1

(2)

b) B= {w∶ liczba zer i jedynek w w jest taka sama},

Do każdego słowa v możemy dopisać na końcu brakujące zera lub jedynki tak, żeby otrzymać słowo w ∈ B. Zatem B jest nieograniczony z góry, czyli kres górny nie istnieje. Ponieważ ε ∈ B, jest jego kresem dolnym.

3. Rozstrzygnij, czy następujące dwa porządki są izomorficzne.

a) ⟨Z, ⪯⟩ oraz ⟨N, ≤⟩, gdzie k ⪯ l ⇔ (kl < 0 ∧ k > l) ∨ (kl ≥ 0 ∧ ∣k∣ ≤ ∣l∣).

Jest to następujący porządek: 0 ≺ 1 ≺ 2 ≺ . . . ≺ −1 ≺ −2 ≺ . . .. Nie są izomorficzne, bo w pierwszym występuje ograniczony ciąg ściśle rosnący, a w drugim nie.

b) ⟨N, ≤⟩ oraz ⟨N × N, ≤leks

Nie są izomorficzne, bo w pierwszym występuje ograniczony ciąg ściśle rosnący, a w drugim nie.

c) ⟨R × R, ≤leks⟩ oraz ⟨R, ≤⟩

W pierwszym wypadku jeśli A⊆ R × R jest gęsty, to ma moc continuum. W drugim wypadku mamy gęsty przeliczalny podzbiór – mianowicie Q.

d) ⟨Pf in(N), ⊑⟩ oraz ⟨N, ≤⟩, gdzie X ⊑ Y ⇔ (X = Y ∨ (max(X △ Y ) ∈ Y )).

Tak, jeśli X⊑ Y , to min X ≤ min Y , czyli X ⊆ {0, . . . , max Y } – odcinki początkowe skończone.

4. Udowodnij, że istnieje zbiór A⊆ R2, taki że żadne 3 punkty do niego należące nie leżą na jednej prostej, ale każdy punkt x∈ R2∖ A należy do pewnej prostej przechodzącej przez dwa różne punkty zbioru A.

NiechA będzie rodziną tych podzbiorów, że żadne 3 punkty do niego należące nie leżą na jednej prostej.

A jest uporządkowana przez relację inkluzji oraz, jeśli L jest łańcuchem w A, to ⋃ L ∈ A, bo te trzy punkty leżą w pewnym X ∈ L, zarazem ⋃ L jest ograniczeniem górnym L. Co więcej A jest niepusta.

Zatem istnieje w niej element maksymalny A na mocy Lematu Kuratowskiego-Zorna. Jeśli x nie spełnia warunku, że należy do pewnej prostej przechodzącej przez dwa różne punkty zbioru A, to A∪ {x} ∈ A oraz A⊊ A ∪ {x} – sprzeczność. ◻

2

Cytaty

Powiązane dokumenty

Wskazówka: rozważ to zadanie na płaszczyźnie

Wykaż, że wszystkie tak otrzymane proste DF przechodzą przez pewien ustalony punkt, zależny tylko od położenia B

Zaproponuj zbiór liczb naturalnych, dla których poniższy diagram jest diagramem Hassego po- rządku podzielności.. Zaproponuj taki podzbiór, który ma kres dolny, ale nie ma

Podobnie przeliczalny jest zbiór X 0 wszystkich ciągów zer i jedynek, które od pewnego miejsca są stale równe 0 jest przeliczalny... Zaproponuj zbiór liczb naturalnych, dla

Tak, ponieważ mamy bijekcję pomiędzy tym zbiorem, a Q ×Q ×N, gdzie okręgowi odpowiada trójka liczb, gdzie dwie pierwsze współrzędne to współrzędne jego środka, zaś trzecia

Niech R będzie zbiorem wszystkich relacji równoważności w zbiorze

[r]

Załóżmy, że rodzina jest niepusta, niech I będzie elementem tej rodziny. Zauważmy, że f jest „na”, bo w każdym przedziale liczb rzeczywistych mamy liczbę wymierną. Więc