background image

Topologia, Kolokwium nr 2

12 stycznia 2007

Każde zadanie powinno być rozwiązane na oddzielnej kartce. Wszystkie odpowiedzi należy uzasadnić. Na
każdej kartce z rozwiązaniem powinno być:

• imię i nazwisko osoby zdającej oraz jej numer indeksu,
• numer grupy ćwiczeniowej do której osoba zdająca uczęszczała, lub nazwisko osoby prowadzącej

ćwiczenia i termin zajęć.

• numer rozwiązywanego zadania

Zadanie 1

Dla punktów x, y ∈ R

2

niech I(x, y) oznacza odcinek domknięty o końcach x, y. Niech = (00),

= (01), b

n

= (

1

n

1), c

n

= (n, 1) będą punktami R

2

Dane sa następujące podprzestrzenie Y

1

, Y

2

, Y

3

, Y

4

płaszczyzny z metryką euklidesową:

Y

1

=

[

n=1

I(a, b

n

∪ {(0, −

1

n

) : = 12, ...},

Y

2

Y

1

∪ I(a, b),

Y

3

=

[

n=1

I(a, b

n

∪ {(0,

1

n

) : = 12, ...},

Y

4

=

[

n=1

I(a, c

n

∪ {(0, −

1

n

) : = 12, ...}

(a) Zbadać zwartość i zupełność tych przestrzeni.

(b) Znaleźć te wszystkie i, j 6i, że przestrzenie Y

i

oraz Y

j

są homeomorficzne.

Zadanie 2

Niech X ⊂ R

2

będzie sumą przeliczalnie wielu parabol i niech + (a

1

, a

2

) =

{(x

1

, x

2

∈ R

2

: (x

1

− a

1

, x

2

− a

2

∈ X} dla (a

1

, a

2

∈ R

2

Pokazać, że:

(a) Istnieje (a

1

, a

2

∈ R

2

takie, że (00) nie należy do zbioru + (a

1

, a

2

).

(b) Istnieje (a

1

, a

2

∈ R

2

takie, że (+ (a

1

, a

2

)) ∩ (Q × Q) = ∅.

Parabola to wykres funkcji ax

2

bx c, gdzie 0 6a, b, c ∈ R.

Zadanie 3

Pokazać, że zwarty podzbiór przestrzeni funkcji ciągłych C([01]) z metryką d

sup

(f, g) =

sup

x∈[0,1])

|f (x− g(x)nie zawiera żadnej kuli.

Zadanie 4

(a) Niech (X, T ) będzie przestrzenią Hausdorffa oraz jej zwartą podprzestrzenią. Dla dowolnego

zbioru otwartego U ⊂ X zawierającego K, zbiór X \ U jest zwarty. Pokazać, że (X, T ) jest prze-
strzenią zwartą.

(b) Niech (X, d) będzie przestrzenią metryczną K ⊂ X jej zupełną w metryce podprzestrzenią. Dla

dowolnego zbioru otwartego U ⊂ X zawierającego K, przestrzeń X \ U jest zupełna w metryce d.
Pokazać, że (X, d) jest przestrzenią zupełną.