Häufungspunkt

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Der Begriff Häufungspunkt (zuweilen auch Häufungswert oder Verdichtungspunkt) kommt in dem mathematischen Teilgebiet Topologie vor, in speziellerem Sinn auch in der Analysis.

Inhaltsverzeichnis

1 Häufungspunkt einer Folge
2 Häufungspunkt einer Menge
3 Unterschied der Definitionen
4 Quellen

[Bearbeiten] Häufungspunkt einer Folge

Definition: $b\;$ heißt Häufungspunkt einer Folge $a=(a_n)_{n\in\mathbb N}$ , falls in jeder noch so kleinen Umgebung von $b\;$ unendlich viele Folgenglieder liegen ^[1].

(Formal: $b\;$ ist Häufungspunkt von $(a_n)\;$ genau dann, wenn $\forall \varepsilon>0 \; \forall N\in\mathbb{N} \; \exists n>N: \;\left|a_n-b \right|<\varepsilon$ .)

Dies erinnert an die Eigenschaft des Grenzwerts. Allerdings kann eine Folge mehrere (auch unendlich viele) Häufungspunkte haben, zwischen denen sie in ihrem Verlauf "hin- und herspringt". Für einen Häufungspunkt reicht es aus, dass eine Teilfolge von $(a_n)\;$ gegen $b\;$ konvergiert. (In topologischen Räumen, die das erste Abzählbarkeitsaxiom erfüllen, also insbesondere im Raum der reellen Zahlen, gilt auch die Umkehrung: dass es zu jedem Häufungspunkt einer Folge eine Teilfolge gibt, die gegen diesen Häufungspunkt konvergiert.)

Während für den Grenzwert gilt, dass aus $a_n\to b$ folgt, dass auch für jede Teilfolge $a_{n_k}\to b$ gilt, dass also jede Teilfolge gegen denselben Grenzwert konvergiert, gilt für Häufungspunkte die umgekehrte Beziehung: ist $b\;$ Häufungspunkt einer Teilfolge $a_{n_k}$ , so ist $b\;$ auch Häufungspunkt der Ausgangsfolge $a_{n}\;$

Für nach oben beschränkte reelle Zahlenfolgen wird der Limes superior, bzw. größter Häufungspunkt, als das Supremum der Menge aller Häufungspunkte definiert. Man schreibt dafür $\limsup_{n\to\infty} a_n$ . Analog wird der kleinste Häufungspunkt oder Limes inferior, als das Infimum definiert. Es gilt $\liminf_{n\to\infty} a_n=-\limsup_{n\to\infty} (-a_n)$ .

Dabei gilt: $b\;$ ist größter Häufungspunkt einer Folge $a=(a_n)_{n\in\mathbb N}$ genau dann, wenn für jedes $\epsilon > 0\;$ im Intervall $(b - \varepsilon, b]\;$ unendlich viele, im Intervall $(b + \varepsilon, \infty)$ jedoch höchstens endlich viele Folgenglieder anzutreffen sind.

[Bearbeiten] Häufungspunkt einer Menge

Sei $a$ Element eines topologischen Raumes $X$ und sei $M$ eine Teilmenge von $X$ . Man sagt $a$ ist Häufungspunkt von $M$ , wenn in jeder Umgebung von $a$ ein Punkt von $M$ liegt, der von $a$ verschieden ist.

Für die meisten Topologien (insbesondere für die gewöhnliche Topologie in $\mathbb{R}$ , $\mathbb{R}^2$ bzw. $\mathbb{R}^3$ ) folgt daraus sofort, dass in jeder Umgebung von $a$ sogar unendlich viele Punkte aus $M$ liegen.

Beispiel: Sei $M := ]0,1] \cup \{3\}$ eine Teilmenge der reellen Zahlen. $M$ besteht also aus einem links halboffenen Intervall und einem einzelnen Punkt. Dann sind alle Elemente von $M$ - außer der $3$ - Häufungspunkte von $M$ . Es ist nämlich z.B. $]2,4[$ eine Umgebung von $3$ , die keinen weiteren Punkt aus $M$ enthält.

Zusätzlich ist auch die Null Häufungspunkt von $M$ . Da das Intervall links offen ist, gibt es Punkte im Intervall, die beliebig nahe an der Null liegen. Somit muss jede Umgebung der Null auch einen Punkt des Intervalls enthalten. Aus gleichem Grund ist auch die $1$ Häufungspunkt von $M$ . Hier wird deutlich, dass ein Häufungspunkt von $M$ der Menge $M$ angehören kann, aber nicht muss.

Wenn ein Punkt in $X$ kein Häufungspunkt ist spricht man von einem isolierten Punkt.

[Bearbeiten] Unterschied der Definitionen

Auf den ersten Blick scheinen die beiden Definitionen für Mengen und Folgen äquivalent zu sein. Dass dies nicht so ist zeigt folgendes Beispiel.

Für jede Folge $a = (a n)$ ist folgende Menge eindeutig definiert:

$X(a):=\left\{x: (\exists n\in\mathbb N: a_n=x ) \right\}$

(das heißt $X (a)$ ist die Menge aller $x$ , die gleich dem Wert eines Folgenelementes sind, vgl. Bildmenge von Funktionen)

Die Folge $a = (a n)$ sei folgendermaßen definiert:

$a_n=\begin{cases} 1/n, & \mbox{wenn }n\mbox{ gerade} \\ 1, & \mbox{wenn }n\mbox{ ungerade} \end{cases}$

Die Häufungspunkte von $a$ sind $0$ und $1$ , da zum einen eine Teilfolge existiert, welche gegen $0$ geht (nämlich die $a n$ mit geraden $n$ ), zum anderen eine konstante Teilfolge mit dem Wert $1$ (die $a n$ mit ungeraden $n$ ). $0$ ist auch ein Häufungspunkt von $X (a)$ , die $1$ jedoch nicht, da sich um sie eine Umgebung mit dem Radius von beispielsweise $\frac{1}{3}$ legen lässt, in der sich kein weiteres Element der Menge befindet.

Der Unterschied beruht darauf, dass eine konstante Folge als konvergent definiert ist und es hierzu bei den Mengen keine Entsprechung gibt.

Um einem Missverständnis vorzubeugen, werden für den Häufungspunkt von Folgen deshalb auch die Begriffe Häufungswert oder Verdichtungspunkt verwendet.