Dans la théorie des extrémités premières (prime ends) pour un domaine D, un point principal est un point de la frontière x tel que x soit l'élément unique de l'impression (ensemble limite) d'une extrémité première ; autrement dit, l'impression de cette extrémité est le singleton {x}, de sorte que l'extrémité première désigne x comme point d'accès distingué.

Principe

Un point principal survient lorsqu'une extrémité première a une impression dégénérée : l'idée organisatrice est qu'une extrémité topologique du domaine correspond exactement à un point unique de la frontière, fournissant un représentant d'accès non ambigu.

Démonstration

Pour un domaine planaire simplement connexe à frontière localement connexe, des situations de type Carathéodory donnent des extrémités premières dont les impressions sont des singletons ; un point de frontière régulier atteint par une approche radiale depuis l'intérieur définit typiquement une extrémité première ayant ce point comme principal.

Mauvaise application

Supposer que chaque point de la frontière est principal ou que toute extrémité première a une impression singleton ; de nombreuses extrémités premières ont des impressions non triviales (des continuums) et certains points de la frontière ne sont principaux pour aucune extrémité.

Conséquence

Quand une extrémité première admet un point principal, on peut identifier une correspondance canonique entre l'extrémité et ce point, ce qui simplifie les problèmes d'extension au bord et rend le comportement des applications ou fonctions au voisinage du bord plus clair.

Inversion

L'inverse est une extrémité première non principale (à impression multiple) dont l'impression contient plus d'un point de la frontière ou est un continu ; ces extrémités ne désignent pas un point unique et reflètent une structure d'accès plus complexe.

Limite

La notion appartient à la théorie des prime ends et requiert l'appareil des coupures transversales et des impressions ; elle est principalement développée pour les domaines du plan (ou des cadres analogues) et suppose une définition choisie d'extrémité première et d'impression.

Tension sémantique

Le point principal est en tension avec la notion d'accessibilité voisine : un point principal peut être accessible, mais l'accessibilité est une propriété plus faible et un point peut être principal sans être classiquement accessible par une courbe lisse dans certaines formulations.

Synthèse

Un point principal est un point de la frontière qui représente de manière unique une extrémité première parce que l'impression de l'extrémité est le singleton contenant ce point ; il condense l'information d'accès de l'extrémité en une position frontière distinguée.