Topologie
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 15 Oct 2010, 20:30
Bonjour,
J'ai un problème qui me torture pour le moment , le voiçi :
Soit :

.
Soient :
On note :
 = \{ \ g \in E \ / \ \displaystyle \sup_{1 \leq i \leq n } |f(x_i ) - g(x_i ) | 0 \ \exists x_1 , ... , x_n \in [0,1] \ $)
:
Montrer que

est une topologie.
Merci pour votre aide.
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 15 Oct 2010, 20:41
Dèjà , je ne sais pas pourquoi l'ensemble vide est un élément de

? :hum:
-
dibeteriou
- Membre Naturel
- Messages: 91
- Enregistré le: 17 Aoû 2010, 04:06
-
par dibeteriou » 15 Oct 2010, 20:45
L'ensemble vide vérifie toute propriété universelle (puisqu'il n'y a rien à vérifier).
n est fixé ou bien il faut rajouter un "il existe n" dans la dernière propriété que tu as écrite ?
-
Arkhnor
- Membre Relatif
- Messages: 343
- Enregistré le: 05 Déc 2008, 20:02
-
par Arkhnor » 15 Oct 2010, 20:54
Bonsoir.
Il s'agit de la topologie de la convergence simple.
Le

dépend de

.
Il n'y a aucune subtilité ici, il s'agit de vérifier la définition.
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 15 Oct 2010, 21:05
dibeteriou a écrit:L'ensemble vide vérifie toute propriété universelle (puisqu'il n'y a rien à vérifier).
n est fixé ou bien il faut rajouter un "il existe n" dans la dernière propriété que tu as écrite ?
Je ne sais rien
il me semble que

est quelconque là ( donc :

). :happy3:
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 15 Oct 2010, 21:11
Donc,

, car
 \subset E $)
.
Pour l'ensemble vide, ton raisonnement manque de rigueur "dibeteriou" :hum:
-
Arkhnor
- Membre Relatif
- Messages: 343
- Enregistré le: 05 Déc 2008, 20:02
-
par Arkhnor » 15 Oct 2010, 21:15
Où manque-t-il de la rigueur ?
On doit montre que

, c'est-à-dire que

Or, il n'y a rien à vérifier, puisque l'ensemble vide est vide ...
-
Arkhnor
- Membre Relatif
- Messages: 343
- Enregistré le: 05 Déc 2008, 20:02
-
par Arkhnor » 15 Oct 2010, 21:16
barbu23 a écrit:Donc,

, car
 \subset E $)
.
C'est plutôt ici qu'il manque de la rigueur ...
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 15 Oct 2010, 21:21
Akhnor : :happy3:
A ta place, j'aurai raisonné comme ça :

:
 \subset \emptyset $)
i.e :

:
 \not \subset E $)
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 15 Oct 2010, 21:23
Arkhnor a écrit:C'est plutôt ici qu'il manque de la rigueur ...
oui, car les éléments de
 $)
sont les

de

, donc c'est inclus dans

, c'est evident. :hum:
-
Arkhnor
- Membre Relatif
- Messages: 343
- Enregistré le: 05 Déc 2008, 20:02
-
par Arkhnor » 15 Oct 2010, 21:28
Mais quel est ton choix pour

et pour les

? ...
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 15 Oct 2010, 21:43
Arkhnor a écrit:Mais quel est ton choix pour

et pour les

? ...
quelques soit

et

dans

car, si
 \not \subset E $)
, ça veut dire les elemnts

de
 $)
sont definies en dehors de

. regarde comment s'ecrit

Mais, j'avoue que c'est trop lourd de rester une heure entrain de tordre le cerveau sur une question evidente. :hum:

, j'avoue que c'est pas comme ça qu'il faut travailler. Le but, est de comprendre ce qu'est la notion de topologie, et non rester toute la journée entrain de reflechir à une question qui n'interesse que Godel et Cantor ( c'est l'affaire des logiciens ça ) ne fait pas objet du cours de topologie. :marteau:
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 16 Oct 2010, 14:30
Bonjour,
Il s'agit de verifier les trois assertions qui definissent la notion de topologie.
On a établit la première assertion.
Maintenant il faut etablir la stabilité par intersection fini :
Soient

, comment montrer que

?
MErci d'avance.
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 16 Oct 2010, 14:35
Si

, alors il n'y'a rien à demontrer car on a dit que le vide est un element de la topologie.
Si

,alors soit

et donc
 \subset U \ \ \exists V_2 (f) \subset V $)
Est ce que
 \bigcap V_2 (f) \subset U \bigcap V $)
?
MErci pour votre aide. :happy3:
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 16 Oct 2010, 20:41
svp, pouvez vous m'aider sur cette question de stabilité par intersection ? :marteau: :hum: :cry:
Merci d'avance.
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 337 invités