Théorie des opérations linéaires

admet an(t arbitraire Banach biunivoque borne sup Chap classe de Baire contredomaine converge faiblement convergence faible d'où définie dans l'espace désignant dimensions linéaires E₁ éléments ensemble linéaire équations espace métrique espace séparable espace vectoriel espaces du type espaces LP espaces vectoriels normés Etant donnée existe une suite faiblement convergente faiblement fermé fonction continue fonction x(t fonctionnelle linéaire f(x fonctionnelles linéaires définies h₁ H₂ homéomorphes II-e catégorie isométriques isomorphe l'égalité l'équation l'inégalité l'opération U(x lemme lim xn M. S. Mazur Math mesurable B nombres naturels nombres réels norme opération linéaire orthogonale posant Posons quelconque régulièrement fermé resp Riesz satisfaisant sommable suite bornée suite convergente suite de fonctionnelles suite de fonctions suite de nombres suite partielle suite x(t théorème suivant totalement continue transforme type B Un(x variation bornée vertu du th x₁ xn(t y₁