Posté par
Tigweg Tigweg 
Bonjour Camélia et merci de ta participation!
Citation :
Considérer l'ensemble A des fonctions qui valent 1 sauf pour un ensemble fini de points. Alors la fonction nulle est un élément adhérent à A,
-> Ce ne serait pas plutôt la fonction identiquement égale à 1 qui est adhérente à A?
Citation :
La méthode que je connais pour montrer que ce n'est pas métrisable:
-> En fait la démarche de l'énoncé me semble analogue:
question c, il fallait prouver que les fonctions simples (ie nulles sauf en un nombre fini de points de [0;1]) sont denses (pour la topologie de la convergence simple) dans E (ensemble des fonctions de [0;1] dans lui-même), mais qu'aucune fonction non-nulle sur une infinité non-dénombrable de points n'est limite d'une suite de fonctions simples.
La question d demandait alors de conclure à la non-métrisabilité.
Cela dit il me semble avoir vu dans le Rudin(Analyse Fonctionnelle) et/ou dans mon cours de Maîtrise une condition de métrisabilité un peu moins exigeante (mais je n'en suis pas sûr) que celle que rappelle romu
(merci!J'y ai réfléchi toute la nuit et me suis souvenu des définitions que tu as rappelées tout-à-l'heure!

L'heure de mes différents messages en témoigne d'ailleurs!Et toi, pas trop difficile ta journée de travail.

):
cela a trait aux jauges me semble-t-il, et/ou à des conditions sur une famille de semi-normes.
Mes souvenirs sont très vagues comme vous le voyez, d'ailleurs ce que je dis ne semble pouvoir s'appliquer qu'aux espaces vectoriels topologiqes.
Tout renseignement sur le sujet sera le bienvenu!
Camélia(toujours toi!

)> Confirmes-tu les dires suivants:
Citation :
Il me semble que l'associativité est le minimum qu'on puisse exiger d'une lci.
Dans ce cas on parle de magma associatif, mais on n'exige pas l'existence d'un neutre.
Je crois que les magmas sont très peu étudiés en tant que tel car leur structure n'est pas assez riche.
A mon avis (mais des gens plus calés que moi pourront te répondre avec plus de certitude), si tu supprimes l'associativité, et que tu exiges un neutre, tu ne peux pas faire grand-chose de ta loi.
A confirmer!
otto> Merci, j'avais fini par le comprendre en potassant à nouveau les questions d'avant!
Voilà, merci à tous!
Tigweg
