"hendatav" - 1 õppematerjal

Topoloogilised ruumid

Sel- leks defineerime ruumil X seose σ j¨argmiselt: (x; y) ∈ σ para- jasti siis, kui leidub punkte x ja y u ¨hendav tee l, st l : I −→ X (pidev), l(0) = x, l(1) = y. Teoreem 8.43 Seos σ on ekvivalentsiseos ruumil X. T˜oestus. On vaja n¨aidata, et σ on refleksiivne, s¨ ummeetri- line ja transitiivne. Kuna punkt x ∈ X on u ¨hendatav iseenda- ga konstantse teega (l(t) = x iga t ∈ I korral), siis (x; x) ∈ σ ja σ on refleksiivne. Kui (x; y) ∈ σ, siis leidub punkte x ja y u¨hendav tee l : I −→ X, l(0) = x, l(1) = y. Aga tee r : I −→ X, mis on defineeritud v˜ordusega r(t) = l(1 − t), t ∈ I, ¨hendab siis punkte y ja x, st (y; x) ∈ σ ja seos σ on s¨ u ummeet- riline. Seose σ transitiivsuse n¨aitamiseks eeldame, et