全部书籍

专业

应用 关于 Coach 登录 开始阅读

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

Wiskunde · 术语表

什么是 affiene ruimte?

Definitie 17.1 Universitaire wiskunde — Bachelor jaar 2 · 第 17 章 — Affiene ruimten

Een affiene ruimte gericht door een reële vectorruimte EE is een niet-lege verzameling E\mathcal{E} met een afbeelding (A,B)↦AB→∈E(A, B) \mapsto \vect{AB} \in E die voldoet aan

AB→+BC→=AC→(Chasles),voor elke A is B↦AB→ een bijectie E→E.\vect{AB} + \vect{BC} = \vect{AC} \quad \text{(Chasles)}, \qquad \text{voor elke } A \text{ is } B \mapsto \vect{AB} \text{ een bijectie } \mathcal{E} \to E .

Men schrijft B=A+uB = A + u voor het unieke punt met AB→=u\vect{AB} = u. De dimensie van E\mathcal{E} is dim⁡E\dim E. Elke vectorruimte is een affiene ruimte over zichzelf (AB→=B−A\vect{AB} = B - A); elke keuze van een oorsprong O∈EO \in \mathcal{E} identificeert E\mathcal{E} met EE via M↦OM→M \mapsto \vect{OM}.

示例

Voorbeeld 17.2 (Een affiene ruimte zonder natuurlijke oorsprong)

Het oplossingsvlak E={(x,y,z)∈R3:x+y+z=1}\mathcal E = \{(x, y, z) \in \R^3 : x + y + z = 1\} is geen vectordeelruimte (0∉E0 \notin \mathcal E), maar wel een affiene ruimte gericht door E={x+y+z=0}E = \{x + y + z = 0\}: voor A,B∈EA, B \in \mathcal E belandt het verschil AB→=B−A\vect{AB} = B - A in EE (de sommen heffen elkaar op), Chasles wordt van R3\R^3 geërfd, en B↦AB→B \mapsto \vect{AB} is bijectief op EE. Geen enkel punt van E\mathcal E is onderscheiden — elke keuze van een “oorsprong” O∈EO \in \mathcal E werkt even goed, en alle identificaties M↦OM→M \mapsto \vect{OM} verschillen slechts met translaties. Dit is de typische toestand: oplossingsverzamelingen van inhomogene lineaire problemen (lineaire stelsels, lineaire differentiaalvergelijkingen in Hoofdstuk 16) zijn affien, nooit lineair, en de leuze “particuliere oplossing plus kern” is precies de uitspraak F=A+F\mathcal F = A + F van de volgende definitie.

在原文中阅读 →