Système direct et sa limite directe

Bonjour

Soit $E_n $ une suite d'espaces vectoriels. Soit $F_n $ l'espace tensoriel de $E_1,\ldots, E_n $.
1) Est-ce que la classe $(E_n) $ est un système direct ?
2) Quelle est sa limite directe si elle existe ?
Merci.

Réponses

  • Ça ne veut rien dire, "est un système direct" : ce n'est pas une propriété d'une suite, mais une structure additionnelle : il faut fournir les morphismes de transition.

    En l'occurrence il te faut des morphismes du produit tensoriel de $n$ machins vers $n+1$ machins ; en général on propose par exemple de prendre des espaces vectoriels munis d'un vecteur, $(E_n, v_n)$ et l'application de transition est $x_1\otimes \cdots \otimes x_n \mapsto x_1\otimes \cdots\otimes x_n \otimes v_{n+1}$ en degré $n$.

    Là ça a un sens, mais la limite directe va dépendre (un peu) des $v_i$, et de toute façon n'a pas de description autre que les descriptions usuelles de limites directes.
  • Merci Maxtimax

    Soit E une limite directe associée à une suite v_n
    Et F une limite directe associée à une suite u_n

    1) Est ce que la limite directe existe ?

    2) Est-ce que E et F sont isomorphe ?
  • Oui à 1) et "ça dépend" pour 2). Je te laisse réfléchir à quand c'est oui, et quand c'est non
  • Bonjour
    Soient $(E_n, f_(n,m))$ et $(F_n, g_(n,m))$ deux systèmes directs d'espaces vectoriels
    1) A-t-on la limite directe du système $(E_n, f_(n,m))$ existe ?
    Et pourquoi cette limite [est] un espace vectoriel ?
    2) Si $E_n$ est inclus dans $F_n$, a-t-on [que la] limite directe du système $(E_n, f_(n,m))$ [est] incluse dans [la] limite directe du système $(F_n, f_(n,m))$ ?
    Merci.
  • Merci beaucoup Maxtimax

    Concernant la question 1, où je peux trouver la démonstration de l'existence et l'unicité de la limite directe d'un système direct ?

    Concernant 2, E et F sont isomorphes si les images des morphismes de transitions associés sont isomorphes. Est-ce correct ?
Connectez-vous ou Inscrivez-vous pour répondre.