Surjekcja z X na P(x)

Algebra zbiorów. Relacje, funkcje, iloczyny kartezjańskie... Nieskończoność, liczby kardynalne... Aksjomatyka.
nessie129
Użytkownik
Użytkownik
Posty: 6
Rejestracja: 28 maja 2012, o 20:52
Płeć: Kobieta
Lokalizacja: warszawa

Surjekcja z X na P(x)

Post autor: nessie129 »

Mam takie zadania:
1) Pokazać, że nie istnieje surjekcja z \(\displaystyle{ X}\) na \(\displaystyle{ P(X)}\), gdzie \(\displaystyle{ P(X)}\) jest zbiorem potęgowym zbioru \(\displaystyle{ X}\) (tzn. rodziną wszystkich podzbiorów zbioru \(\displaystyle{ X}\)).
2) Dla \(\displaystyle{ A,B \subset \mathbb R}\) przyjmijmy \(\displaystyle{ A+B=\{a+b:a \in A,b \in B\}}\). Sprawdzić, czy \(\displaystyle{ A+B}\) jest otwarty (domknięty), gdy \(\displaystyle{ A,B}\) są otwarte (domknięte).
Jak to rozwiązać, z czego należy skorzystać, żeby to pokazać?
Ostatnio zmieniony 28 maja 2012, o 21:34 przez Jan Kraszewski, łącznie zmieniany 2 razy.
Powód: Niepoprawnie napisany kod LaTeX-a. Proszę zapoznaj się z http://matematyka.pl/178502.htm .
Jan Kraszewski
Administrator
Administrator
Posty: 36052
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 6 razy
Pomógł: 5341 razy

Surjekcja z X na P(x)

Post autor: Jan Kraszewski »

Ad 1. Rozumuj nie wprost. Przypuść, że taka surjekcja \(\displaystyle{ f}\) istnieje i zbadaj zbiór \(\displaystyle{ A=\{x\in X: x \notin f(x)\}}\). Ponieważ \(\displaystyle{ A\in P(X)}\), więc powinno istnieć \(\displaystyle{ a\in X}\) takie, że \(\displaystyle{ A=f(a)}\).

Ad 2. Skorzystaj z tego, że \(\displaystyle{ A+B=\bigcup_{b\in B}A+b}\).

JK
nessie129
Użytkownik
Użytkownik
Posty: 6
Rejestracja: 28 maja 2012, o 20:52
Płeć: Kobieta
Lokalizacja: warszawa

Surjekcja z X na P(x)

Post autor: nessie129 »

Nie wiem jak się za to zabrać, może ktoś potrafi to rozwiązać? Te wskazówki mało mi mówią
brzoskwinka1

Surjekcja z X na P(x)

Post autor: brzoskwinka1 »

2) weź zbiory \(\displaystyle{ A=\left\{n+\frac{1}{n} :n\in\mathbb{N} \wedge n \ge 2\right\}}\) oraz \(\displaystyle{ B=\{-n:n\in\mathbb{N} \wedge n \ge 2\}}\) , pokaż, że są to zbiory domknięte i zastanów się, czy zbiór \(\displaystyle{ A+B}\) jest domknięty.
ODPOWIEDZ