全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示 Nederlands 版。

Wiskunde · 术语表

什么是 compacte ruimte?

Definitie 6.12 Universitaire wiskunde — Bachelor jaar 3 · 第 6 章 — Algemene topologie

Een open overdekking van XX is een familie (Ui)i∈I(U_i)_{i\in I} open verzamelingen met ⋃Ui=X\bigcup U_i = X. XX heet compact als ze Hausdorff is en elke open overdekking een eindige deeloverdekking toelaat. Gelijkwaardig (neem complementen): elke familie gesloten verzamelingen met de eindige-doorsnede-eigenschap (elke eindige deelfamilie heeft een niet-lege doorsnede) heeft een niet-lege totale doorsnede.

示例

Voorbeeld 6.11

Het quotiënt R/Z\R/\Z (vereenzelvig xx met x+nx + n) is homeomorf met de cirkel S1={z∈C:∣z∣=1}S^1 = \{z \in \C : \abs z = 1\}: de afbeelding x↦e2iπxx \mapsto \eu^{2\iu\pi x} gaat over op een continue bijectie R/Z→S1\R/\Z \to S^1 (Propositie 6.10(b)); haar inverse is continu wegens het compactheidsargument van Gevolg 6.14 hieronder (Oefening 6.5 werkt alles uit, ook waarom R/Z\R/\Z Hausdorff en compact is). Net zo is [0,1][0,1] met verlijmde eindpunten gelijk aan S1S^1 en is het vierkant met verlijmde overstaande zijden de torus, en is verlijmen eindelijk een stelling in plaats van een plaatje.

在原文中阅读 →