 ##  [Fréchet–Urysohn-Eigenschaft](/de/node/63144) 

 Definition

Eine topologische Eigenschaft: Ein Raum hat die Fréchet–Urysohn‑Eigenschaft, wenn für jeden Punkt x, der zur Abschlussmenge einer Teilmenge A gehört, eine Folge von Punkten aus A existiert, die gegen x konvergiert; äquivalent ist der sequentielle Abschluss jeder Menge gleich ihrem Abschluss.

 

 

 

 

 

 





## Prinzip

Prinzip

Folgen genügen, um Abschlüsse zu erkennen: Grenzwerte von Folgen aus einer Menge erfassen alle Abschlusspunkte, sodass sequentielle Methoden Netze oder Filter bei Abschlussfragen ersetzen können.

 

 

 

 

 





## Demonstration

Demonstration

Jeder metrische Raum (und allgemein jeder erstabzählbar lokalisierte Raum) ist Fréchet–Urysohn: Befindet sich x im Abschluss von A, so wählt man eine abzählbare lokale Basis in x und entnimmt aus jedem Umgebungsstück ein Element von A, womit sich eine konvergente Folge konstruiert.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Anzunehmen, ein Raum sei Fréchet–Urysohn, bloß weil er sequentiell ist oder weil Beweise mit Folgen in bestimmten Fällen funktionieren; sequentielle Räume sind schwächer, und es existieren sequentielle, aber nicht Fréchet–Urysohn Räume.

 

 

 

 

 





## Konsequenz

Konsequenz

Viele klassische Argumente werden vereinfacht: Mit Folgen zu arbeiten genügt für Prüfungen von Abschluss und Stetigkeit, und Argumente zur sequentiellen Kompaktheit gewinnen an Aussagekraft, weil sequentielle Konvergenz das Abschlussverhalten vollständig erfasst.

 

 

 

 

## Umkehrung

Umkehrung

In einem nicht‑Fréchet–Urysohn Raum gibt es einen Punkt im Abschluss einer Menge A, der nicht der Grenzwert irgendeiner Folge aus A ist; solche Räume erzwingen den Einsatz von Netzen oder Filtern und zeigen echte topologische Komplexität.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Gilt für allgemeine topologische Räume; sie ist streng stärker als die Eigenschaft 'sequentiell' und streng schwächer als die erste Abzählbarkeit im Allgemeinen. Die Eigenschaft betrifft nur die Erkennung von Abschlüssen, nicht andere Abzählbarkeitsbedingungen.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Semantische Spannung besteht gegenüber der ersten Abzählbarkeit und der weiter gefassten Klasse sequentieller Räume: Erste Abzählbarkeit impliziert Fréchet–Urysohn, Fréchet–Urysohn impliziert sequentiell, doch die Umkehrungen gelten nicht allgemein.

 

 

 

 

 





## Synthese

Synthese

Die Fréchet–Urysohn‑Eigenschaft verlangt, dass Folgen als genügende Zeugen für Abschlüsse dienen: sie verringert die Lücke zwischen folgenreicher Intuition und dem vollständigen topologischen Abschluss und erlaubt sequentielle Techniken dort, wo sie sonst versagen würden.