Discuter:Voisinage (mathématiques)

Un article de Wikipédia, l'encyclopédie libre.

	Voisinage (mathématiques) fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
Bon début	Cet article a été classé comme d'Avancement BD selon le Tableau d'évaluation du projet. (Voir les statistiques)
Moyenne	Cet article a été classé comme d'Importance moyenne selon le Tableau d'évaluation du projet.

Ne vaudrait-il pas mieux appeler cet article voisinage (mathématiques) ? Pierrelm 22 avr 2005 à 11:18 (CEST)

[modifier] Explication du revers

Tout élément d'une base de voisinage de a se contient lui-même, il contient donc un voisinage de a, au moins lui-même. Une base de voisinage permet de définir une topologie, qui par définition est stable par intersection finie.

Contre exemple : dans R considérons les intervalles ]-∞, a] et [a, +∞[ comme base de voisinages de a, pour tout a élément de R. Selon la définition précédente, il n'y a pas de souci, chaque élément possède bien une base de voisinage. Considérons la topologie induite, elle contient les singletons et par stabilité de l'union toute les parties de R, le singleton a est donc un ouvert de a, qui pourtant ne contient pas de voisinage. Jean-Luc W (d) 24 janvier 2008 à 12:10 (CET)

dans la définition de Théon, on précise que tout voisinage de a doit contenir un élément de la base de voisinage (et non tout tout élément d'une base de voisinage doit contenir un voisinage de a comme tu sembles l'avoir lu). HB (d) 24 janvier 2008 à 13:16 (CET)

(après relecture) l'erreur dans l'énoncé me semble située avant dans la définition : En effet, il est écrit "une base de voisinage est une famille de partie de E contenant a tels que .." (le reste est bon) alors qu'il faudrait dire "une base de voisinage est une famille de voisinages de a tels que ..."

Enfin, si l'on veut définir une topologie à partir d'une base de voisinage, il faut définir la base de voisinage comme une famille W(a) de parties de E contenant a et vérifiant : Toute intersection finie d'éléments de W(a) contient un élément de W(a). Et définir alors un voisinage de a comme toute partie de E contenant un élément de W(a).

J'ai donc l'impression qu'ici ont été mélangées deux notions. HB (d) 24 janvier 2008 à 14:03 (CET)

Pour être précis on définit un ouvert O de E comme une partie de E tel que O est un voisinage de chaque élément a de O. Néanmoins deux confusions : une de Théon une de HB, cela semble indiquer que le texte n'est pas clair. Sur le fond Théon a donc raison, même si la correction proposée est trop rapide. Jean-Luc W (d) 24 janvier 2008 à 14:17 (CET)

J'ai l'impression que la confusion vient du fait que lorsque la topologie est déjà précisée, on dit qu'un ensemble est une base de voisinage (sous-entendu pour cette topologie) si c'est une base de voisinage (de façon abstraite sans référence à la topologie) et que la topologie engendrée par l'ensemble de voisinages ainsi défini est la topologie de départ. (et dans ce cas là il faut et il suffit que les ensembles de la base soient des voisinages pour la topologie, et que tout voisinage pour la topologie contient un élément de la base). Je pense qu'il faut définir donc une base de voisinages lorsque la topologie est connue (dans la partie 1, en tant que sous partie), et définir une base de voisinage abstraite en tant que sous partie de la partie. il y a une différence entre base de voisinage (en tant que base de filtre abstraite) et système fondamental de voisinage pour une topologie donnée (voir Glossaire_topologique) 2.--Amic 20 avril 2008 à 18:49 (CEST)