Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
82 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Cogèbres

Envoyé par fanf 
Cogèbres
il y a huit années
Bonjour,
Savez vous ce qu'est "the fundamental theorem of coalgebras" ? Et une référence ?
Merci.
Re: Cogèbres
il y a huit années
avatar
tout copolynôme non coconstant à cocoefficients cocomplexes admet une coracine? :D


Blague à part, est-ce que tes cogèbres sont de dimension finie?
Dans ce cas, cela pourrait être la dualité entre la catégorie des algèbres et celles de cogèbres? mais bon, c'est pas très passionnant, ça doit découler de Yoneda.

Tu pourrais nous donner le contexte dans lequel ce théorème fondamental a été cité?

Greg

Ora, lege, lege, relege, labora et invenies (Prie, lis, lis , relis, travaille et tu trouveras)
Re: Cogèbres
il y a huit années
J'aime la blague :)
Oui désolé, le contexte doit être d'autant plus important que les résultats que je trouve sur Google ne disent pas la même chose (ou sont peut être des formulations équivalentes mais ça ne me saute pas aux yeux). Par ailleurs les cogèbres ne sont pas nécessairement de dimension finie.
Le théorème est cité pour prouver un lemme sur une cogèbre $(C,\Delta,\epsilon)$ quelconque : on se donne une forme linéaire $f$ sur la cogèbre $C$ à valeurs dans $\C$. Alors la série exponentielle $$exp_{\star}f(b)=\epsilon(b)+f(b)+\frac{1}{2}f\star f(b)+\dots$$ converge pour tout $b\in C$, où $\star$ représente la convolution $f\star g=m\circ(f\otimes g)\circ\Delta$ avec $m$ la multiplication sur $C$ et $\Delta$ le coproduit.
C'est peut être encore un peu vague, le seul théorème que je trouve qui pourrait se rapproche du contexte ci dessus est :"tout élément d'une cogèbre $(C,\Delta,\epsilon)$ est contenu dans une sous-cogèbre $D$ ($\Delta(D)\subset D\bigotimes D$) de dimension finie".
Mais la démonstration du lemme est alors laissée au lecteur...
Si tu sais faire :)
Re: Cogèbres
il y a huit années
avatar
Mmmh, je ne suis pas très familier avec tout ça. Mais disons que si tu peux te ramener au cas d'une cogèbre de dimension finie, alors par dualité, tu dois pouvoir retraduire le résultat à démontrer en un résultat concernant une algèbre de dimension finie, ce qui est a priori plus simple.

Intuitivement, ton résultat devrait se ramener à la convergence de la série exponentielle classique dans une algèbre de Banach, ou un truc du genre, non?

Greg

Ora, lege, lege, relege, labora et invenies (Prie, lis, lis , relis, travaille et tu trouveras)



Edité 1 fois. La dernière correction date de il y a huit années et a été effectuée par GreginGre.
Re: Cogèbres
il y a huit années
Ok, je vais regarder ce résultat de dualité sur les catégories...
Re: Cogèbres
il y a huit années
avatar
Y a rien de sorcier. C'est juste prendre le dual de tous tes diagrammes définissant les axiomes de cogèbres. Le dual d'une cogèbre est une algèbre.
La dimension finie te permet de repasser dans l'autre sens (le dual d'une algèbre de dim. finie est une cogèbre; ça se voit en utilisant l'iso $A^*\otimes A^*=(A\otimes A)^*$ qui est vrai en dim. finie)
Re: Cogèbres
il y a huit années
Ok pour ton dernier message, c'est pas sorcier en effet.
Pour la convergence le problème c'est qu'on n'a pas de norme... Je ne vois pas comment, du coup, commencer.
Re: Cogèbres
il y a huit années
avatar
Je ne résiste pas à la tentation... Dans un séminaire, il était question d'une limite projective introduite par Alain Connes... ce qui a mené à une longue (et sérieuse) discussion pour savoir si la chose était la limite du cône de Connes ou du co-cône de Connes!
afk
Re: Cogèbres
il y a huit années
Google est ton ami

La proposition 1 du premier lien répond à la question non?



Edité 1 fois. La dernière correction date de il y a huit années et a été effectuée par afk.
Re: Cogèbres
il y a huit années
avatar
@fanf: Ben de toute façon, il faut déjà savoir ce qu'on entend par convergence dans une cogèbre à valeurs dans $\C$ , et ça , il n'y a que toi qui puisse savoir le contexte. ça doit être défini forcément quelque part avant l'énoncé de ton lemme. Je suppose que cogèbre à valeurs dans $\C$ ça veut dire que toutes les applications sont $\C$-linéaires, non? et qu'une forme linéaire, c'est un machin $\C$-linéaire $f: C\to\C$ ?

Du coup, pour la convergence dans ta cogèbre, ça doit être la convergence dans $\C$.

Je ne peux que spéculer, vu le peu d'info que tu nous donnes....
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 143 294, Messages: 1 415 064, Utilisateurs: 26 488.
Notre dernier utilisateur inscrit papillette.


Ce forum
Discussions: 18 405, Messages: 181 923.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page