jeanflop/post-ocr-correction huggingface dataset:
de Cm est convexe. Si F est une partie de Cp, p > 0, on note int (F) l'intérieur de F relativement au sous-espace affine qu'elle engendre. THÉORÈME 2. — Pour toute famille finie {R1; . . ., Rp} d'opérateurs sur H se trouvant dans une algèbre duale uniforme, l'ensemble int (I (R1, . . ., Rp)) est convexe. Remarque. — Si la famille d'opérateurs est prise dans une algèbre duale qui n'est pas uniforme, les énoncés précédents peuvent être en défaut. En particulier, la commutation des opérateurs (Rt)k>0 n'est Pas suffisante. Preuve du théorème 1. — On note se
Pas suffisante. Preuve du théorème 1. — On note se l'algèbre duale uniforme contenant la famille (Rk)k>0 On commence par remarquer que si a est une valeur du spectre périphérique, F (S) = T (S) n (0, ||S||), d'un élément S de se, la projection orthogonale sur le sous-espace propre associé à oc appartient à se. Ceci permet de décomposer se comme somme directe d'algèbres uniformes sur des espaces de dimension finie et d'une algèbre duale uniforme Qi vérifiant la propriété suivante : (1) pour tout S de 3) les valeurs du spectre périphérique de S appartiennent au spectre essentiel
valeurs du spectre périphérique de S appartiennent au spectre essentiel à gauche de S. Note présentée par Laurent SCHWARTZ. 0249-6291/87/03050681 $ 2.00 © Académie des Sciences 682 C. R. Acad. Sci. Paris, t. 305, Série I, p. 681-684, 1987 Comme chaque sép est une algèbre uniforme sur un espace de dimension finie, elle est nécessairement une C*-algèbre commutative. La coïncidence de ces deux types d'algèbres n'est évidemment plus vraie en dimension infinie puisque n'importe quelle contraction dont le calcul fonctionnel de Nagy-Foias [2] est isométrique engendre une algèbre duale uniforme, en particulier toute contraction dont le spectre est riche. Chaque
en particulier toute contraction dont le spectre est riche. Chaque Rk se décompose sous la forme Rk= ® Rk ; © R avec Rk séparé et Rk disjoint, Tous les I (RK i)k > 0 sont convexes, on peut donc se ramener au cas où se = 3). On désigne par se l'image de se dans l'algèbre de Calkin "^(H) et par ê l'ensemble des états sur se. L'image numérique essentielle est l'ensemble On prouve l'inclusion (i) nR(A)0£le(R*W Pour cela on montre la propriété suivante : (ii) se est isométrique à se avec l'application canonique qui, à Sestf, fait correspondre
à se avec l'application canonique qui, à Sestf, fait correspondre S. Si XËH, I x || = 1, (ii) permet de définir l'état lx sur se par lx (S) = <Sx|x>, ce qui suffit pour obtenir l'inclusion ci-dessus. Quant à la preuve de (ii) elle se fait de la manière suivante : soit Se se que l'on peut supposer de norme 1; il existe un caractère % dans le spectre y de se tel que | % (S) | = 1. L'opérateur S + % (S) I a pour norme 2. On considère une suite x„ de vecteurs unitaires telle
2. On considère une suite x„ de vecteurs unitaires telle que Nécessairement || (S—% (S) I) x„ || * 0 et x (S) est un point du spectre essentiel à gauche n -> + ∞ de S d'après (1), d'où ||S|| = 1 = ||S||. On désigne par Jf (H) l'ensemble des opérateurs compacts sur H ! et on introduit l'ensemble On vérifie que ce dernier est convexe et contenu dans Ie(Rt)k>0La convexité se prouve en construisant pour deux points (txk)k > 0 et ($k)k > 0 de I*(Rk)k>0 des suites (ep)p > 0 et (fq)q > 0 mutuellement orthonormales
suites (ep)p > 0 et (fq)q > 0 mutuellement orthonormales telles que Ife_0 Si te[0,1] on choisit s de sorte que r=s2/(l + 2s2-2s) et on considère les vecteurs unitaires wp_ q=(s ep + (1 —s)fq) /l + 2 s2-2 s. On a Pour avoir l'inclusion dans Ie (Rj>0 il suffit en prenant par exemple le point (a.k)k > 0 d'utiliser l'état défini par Z (A)=lim < A e e > où °U est un ultrafiltre non trivial sur N. C. R. Acad. Sci. Paris, t. 305, Série I, p. 681-684, 1987 683 On montre ensuite l'égalité entre le (R^so
681-684, 1987 683 On montre ensuite l'égalité entre le (R^so et le (R^goEn effet, supposons qu'il existe un point (x, y) = 0 de le (R^k), qui n'appartient pas à le (R^ft)aD'après le théorème de Hahn-Banach, il existe u, v, w ∈, tel que Pour exploiter (2), on établit la propriété suivante : (iii) Si A ∈ L(H), est tel que v ∈ le (A), R^r>0, alors A est inversible dans le (H) et ||(A)-1| = 1/r et on vérifie que pour r>0 On obtient donc : Soit le S tel que (ak)k ≥ 0 = G (R)* alors on
tel que (ak)k ≥ 0 = G (R)* alors on a : ou encore En faisant tendre t vers 0, on aboutit à m [u1+a1 + ... + Mpap + w] = 0 ce qui est contradictoire. En récapitulant ce qui précède, on arrive à l'égalité ce qui achève la preuve du théorème 1. Preuve du théorème 2. — On décompose les opérateurs R1, ..., Rp comme au début de la preuve du théorème 1 et on définit la fonction dont l'image est exactement le (R, ...,Rp). On peut supposer que 0 appartient à le (S1, ..., Rp), i et
que 0 appartient à le (S1, ..., Rp), i et en notant F le IR-espace vectoriel qu'elle engendre, considérer que cp est à valeurs dans F. (iv) Il existe un point x de H/{0} tel que cp soit une submersion en x. Sinon, pour tout x de O, il existe (u1, ..., up) dans F avec |u1|2 + ... + |up|2 = 1 tel que Soit R= X + iY avec X=X* et Y = Y*. On déduit de la relation précédente P que Xx=ax avec |a| ≤ Y ||R.||. On définit alors pour x ∈ K, le compact K
On définit alors pour x ∈ K, le compact K de i I I *-^ Il 11 X 684 C. R. Acad. Sci. Paris, t. 305, Série I, p. 681-684, 1987 F x R par La famille (Kx)xs^ possède la propriété d'intersection finie et par compacité, on peut choisir un point (ul, ..., up, t) dans f) Kr Comme, pour SeS1, x*y le (S) = conv{x (S); teS1} et OeF on obtient finalement ce qui est contradictoire avec la définition de F. Considérons maintenant un point x où cp est une submersion. On construit un espace E de dimension finie
une submersion. On construit un espace E de dimension finie contenant x tel qu'il existe un voisinage ouvert U de x dans E pour lequel cp(U) contient une boule ouverte BF(cp(x), r], r>0. Si ce (B, ..., Rp) et te[0, 1] on note vt = tq > (x) + (1 - t)v. On peut trouver On désigne par D (resp. D') la droite contenant cp (x) et v [resp. v, et cp (y)]. On note cp (x)' la projection orthogonale de cp (x) sur D' et v' la projection orthogonale de v sur D'. On a ||cp (x) - cp
de v sur D'. On a ||cp (x) - cp (x)'|| = r, il existe donc x'eE/{0} tel que cp (x') = cp (x)'. Alors vt[cp (x'), cp (y)][ qui est contenu dans le (R1; ...,Rp). Il en résulte que int (le (R1; ...,Rp)) ⊂ le (Rt, ..., Rp), ce qui achève la preuve. Note reçue le 22 juin 1987, acceptée le 26 juin 1987. RÉFÉRENCES BIBLIOGRAPHIQUES [1] P. R. HALMOS, A Hilbert space problem book, D. Van Nostrand Company, Inc., 1967. [2] B. Sz.-NAGY et C. FOIAS, Analyse harmonique des opérateurs de l'espace de Hilbert, Masson, Paris, 1967. Équipe
des opérateurs de l'espace de Hilbert, Masson, Paris, 1967. Équipe d'Analyse, Unité associée du C.N.R.S. n° 754, Université de Paris-VI, 4, place Jussieu, 75230 Paris Cedex 05. C. R. Acad. Sci. Paris, t. 305, Série I, p. 685-688, 1987 685 Géométrie différentielle/Differential Geometry Deux connexions linéaires sur les hypersurfaces d'un espace de Banach ou de Minkowski Heikki HAAHTI et Seppo KINNUNEN Résumé — Deux connexions linéaires sans torsion, V et D, sont naturellement données sur certaines hypersurfaces McE différentiables d'un espace réflexif de Banach ou Minkowski E. La définition de ces connexions est basée sur l'existence d'un champ P: M→L(E;E)
ces connexions est basée sur l'existence d'un champ P: M→L(E;E) de « projections de la distance minimale » ainsi que sur le champ associé N de « normales unités de Birkhoff-James », avec Two linear connections on hypersurfaces in a Banach space Abstract — Two linear torsionless connections V and D are naturally given on certain differentiable hypersurfaces McE of a reflexive Banach space E. The definition of these connections is based on the existence of a field P: M→L(E; E) of "projections of minimal distance" as well as on the associated field N of "unit normals of Birkhoff-James". with
the associated field N of "unit normals of Birkhoff-James". with 1. Soit McE une sous-variété de classe (1) C sur un espace de Banach (x) réel E = (E, |.|) (p^l, dira E^oo). Un champ de projections P de classe C, (O^r^p), sera dans la suite une application M → L(E; E) de classe C, dont la valeur P(x) = P(x)P(x) est pour chaque xeM une projection sur l'espace tangent Mx de M, ce dernier étant considéré comme un sous-espace vectoriel de E. Un champ de projections détermine sur M une connexion linéaire V, telle que pour x e M,
une connexion linéaire V, telle que pour x e M, X e M^ on a avec un champ Y de vecteurs tangents à M au point x e M ici on a dxY=Y'(x)X, Y'(x)=dY étant la dérivée de Fréchet en x d'une extension differentiable locale de Y, restreinte à M^, et d est ainsi la « connexion linéaire canonique » de E. La torsion de la connexion V est nulle et le tenseur de courbure R est donné par Si, en particulier, E est un espace de Hilbert et si P(x) est pour tout xeM une projection orthonormale, c'est-à-dire, la
P(x) est pour tout xeM une projection orthonormale, c'est-à-dire, la seule projection sur Mx ayant la «propriété de la distance minimale » [3], alors il est bien connu que la connexion (1) détermine la géométrie riemannienne induite sur M de E, cette connexion étant celle de Levi-Civita. 2. Le problème se pose, [4], de savoir si l'on peut trouver dans le cas d'un espace de Banach E, des champs de projections de la distance minimale P sur les sous-variétés McE, c'est-à-dire, des champs de projections satisfaisant à (3) en chaque xeM. La réponse est dans le cas codimension M =
xeM. La réponse est dans le cas codimension M = 1 d'une hypersurface affine comme suit, tandis que pour codimension M > 1 le lemme ci-dessous n'est pas vrai en général. Posons avec la norme |x| de l'espace de Banach E : 2g(x) = |x|^2 et soit g'(x) = (dg)(x) la dérivée de g en x. Note présentée par André LICHNEROWICZ. 0249-6291/87/03050685 S 2.00 © Académie des Sciences 686 C. R. Acad. Sci. Paris, t. 305, Série I, p. 685-688, 1987 LEMME 1. — Supposons que la norme de E soit de classe C^1 sur E — {0} et que
soit de classe C^1 sur E — {0} et que la sphère unité S = {x|xeE, |x| = 1} de E soit strictement convexe (c'est-à-dire, que x, y e S, x^y, 0 < A. < 1 entraînent Xx + (1—X)y < 1). Alors, sur chaque hypersurface McE de classe C, (p^2l), il existe un champ P de projections de la distance minimale et un seul. De plus, à chaque point xeM est associée une paire (N(x), — N(x)} unique de vecteurs unité N(x), — N(x)eE, les deux « normales unité de M en x », satisfaisant pour tout XeM les
de M en x », satisfaisant pour tout XeM les conditions d'orthogonalité de Birkhoff-James, [5], et l'on a pour tout Z e E donc en particulier Ce lemme peut être prouvé (voir [8]) au moyen d'une représentation locale et régulière de M. En effet, une normale unité est donnée, en accord avec le cas euclidien, par le « gradient » _y(x) = |_y(x)|N(x) : /' (x) N (x) = sup /' (x) h, (heE, |/z| = 1), de f en xeM. Le lemme 1 implique en particulier l'existence d'une unique connexion linéaire, « la connexion canonique » V donnée sur
connexion linéaire, « la connexion canonique » V donnée sur chaque hypersurface McE de classe C par la formule (1) quand P est le champ des projections de la distance minimale. La translation naturelle M s x → x + x0 e V = M + x0 est pour chaque x0 e E compatible avec les connexions canoniques sur M et V, c'est-à-dire, la translation donne une application affine [11], entre M et V. 3. Pour pouvoir appliquer le calcul différentiel, nous introduirons la DÉFINITION. — Supposons que la norme de l'espace de Banach E soit de classe C^1 sur
de l'espace de Banach E soit de classe C^1 sur E — {0} et que la sphère unité S soit strictement convexe, et soient p^1, q^2 des entiers. Alors nous dirons qu'une hypersurface McE de classe C possède une C^2-position dans E si l'on a de plus pour chaque xeM: 1° La norme de E, et donc aussi la fonction g(z) = 2~1z^2, est de classe C dans un voisinage du point z = N(x)eE déterminé par une normale unité N(x) de M en x. 2° La dérivée seconde g"(z) en z = N(x) (considérée comme une forme bilinéaire symétrique
en z = N(x) (considérée comme une forme bilinéaire symétrique E x E → R) est strictement définie positive : inf g"(z) ZZ > 0 (Z e E). |Z| = 1 Notons que par les conditions g (X z) = X^2 g (z), g"(Xx)=g"(z)(0^=XeR), de l'homogénéité les hypothèses, 1° et 2° sont indépendantes du choix entre les deux normales N(x) et -N(x). L'existence d'une hypersurface M possédant une C^2-position dans E est dans les cas dim E= 2, q=2 une restriction forte pour l'espace de Banach E, et dans [8] on considère la condition plus faible d'une C^1-position de M
on considère la condition plus faible d'une C^1-position de M avec q=1. Dans notre cas g=2 une conséquence particulière de l'hypothèse 2° est, que pour z = N(x) fixé, (E, g"(z)) est un espace de Hilbert, dont la norme (donnée pour tout ZeE par ||Z|| = {g"(z)ZZ}^{1/2}), est équivalente à la norme |. | banachique donnée de E. Si 2° est valable pour chaque vecteur unité zeE et donc — par homogénéité —, pour chaque zeE — {0}, alors (E — {0}, g") est l'espace de Riemann considéré par E. R. Lorch et D. Laugwitz, [13], [10] (voir aussi [16],
R. Lorch et D. Laugwitz, [13], [10] (voir aussi [16], [6] et [7]). Il est manifeste que si M possède une exposition dans E, il en est ainsi pour V=M + x0 pour tout x0 e E. C. R. Acad. Sci. Paris, t. 305, Série I, p. 685-688, 1987 687 4. Soit pour i=1, 2, ...,m, H_i un espace de Hilbert avec ||x_i|| la norme de x_i e H_i, et posons E=H_1x...xH_m, ||x||_p = ||(x_1, ...,x_m)||_p, pour Alors (E, ||.||_p) est un espace de Banach et un calcul direct montre qu'une C^1 hypersurface McE possède dans E une C^2-position avec
qu'une C^1 hypersurface McE possède dans E une C^2-position avec q=oo si pour tout xeM, z = N(x)eE. En particulier S est une telle hypersurface (2). D'autre part, si m = ∞ la condition 1° n'est valable pour aucune hypersurface, même dans le cas H_i=R d'un espace F. 5. Dans [8] on montre: PROPOSITION 1. — Soit M une hypersurface de classe C possédant une C^2-position dans l'espace de Banach E et soit r+1 = min{p, q}^2. Alors, dans un voisinage de chaque xeM on peut définir pour M un champ N de normales unités de classe C, le champ
champ N de normales unités de classe C, le champ P des projections de la distance minimale étant, lui aussi, de classe C sur M. 6. On suppose les hypothèses de la proposition 1 vérifiées. Comme nous l'avons indiqué au numéro 3, pour tout xeM fixé, la forme nous donne dans E=(E, |.|), et donc aussi dans Mx E, un produit scalaire hilbertien. Il est facile de voir [8], que la dérivée N'(x)=dN de N est une application linéaire M → M, qui est symétrique par rapport à G(x), et qu'on a [en désignant, pour abréger, N'=N'(x)], l'expression pour le
qu'on a [en désignant, pour abréger, N'=N'(x)], l'expression pour le tenseur de courbure R = R (x) de V, (X, Y, Z e M). 7. La géométrie donnée sur les hypersurfaces par la connexion canonique V possède quelques propriétés de la géométrie classique des surfaces, [8]. Par exemple, les chemins V-autoparallèles sont donnés sur la sphère M = S^r (x_0) par les « grands cercles » (x_0 + L) DM, (L e E désignant un sous-espace vectoriel de dimension deux quelconque). D'autre part, on peut montrer que la connexion canonique V est — contrairement au cas classique —, fortement non
V est — contrairement au cas classique —, fortement non métrique, n'admettant pas en général une métrique (des courbes) parallèle, soit riemannienne soit finslerienne. Cependant, une structure riemannienne G/M de classe Cs, (s=1, q = 2), avec la connexion métrique de Levi-Civita D, est donnée par (7) sur chaque C-hypersurface possédant une C'-position dans E, (p^2, cj^3). En effet, il est facile de montrer que pour x e M la projection P(x) de la distance minimale sur Mx est orthogonale par rapport à G (x). PROPOSITION 2. — Supposons que la partie ouverte McS, (x0) de la sphère Sr (x0)
la partie ouverte McS, (x0) de la sphère Sr (x0) de E possède une C-position dans E avec q^3. Alors les chemins V-autoparallèles donnés sur M par (x0 + L) O M sont aussi D-autoparallèles si et seulement si le sous-espace vectoriel L de dimension deux admet une projection Q : E -> L sur lui-même, telle que Dans la suite, la différentiabilité est toujours au sens de Fréchet et les espaces de Banach envisagés sont toujours réflexifs. 688 C. R. Acad. Sci. Paris, t. 305, Série I, p. 685-688, 1987 RÉFÉRENCES BIBLIOGRAPHIQUES [1] E. CARTAN, La géométrie de Finsler,
1987 RÉFÉRENCES BIBLIOGRAPHIQUES [1] E. CARTAN, La géométrie de Finsler, Hermann, Paris, 1934. [2] J. DIESTEL, Geometry of Banach spaces, Selected topics, Lecture Notes in Math., n° 485, Springer-Verlag, Berlin-Heidelberg-New York, 1975. [3] R. FORTET, Remarques sur les espaces uniformément convexes, Bull. Soc. Math. Fr., 69, 1941, p. 23-46. [4] H. HAAHTI et S. HEIKKILA, On generalized parallel translations, Acta Univ. Oui, A 70, 1978. [5] R. C. JAMES, Inner products in normed linear spaces, Bull. Amer. Math. Soc, 53, 1947, p. 559-566. [6] A. KAWAGUCHI, On the theory of non-linear connections II. Theory of Minkowski spaces and on non-linear
non-linear connections II. Theory of Minkowski spaces and on non-linear connections in a Finsler space, Tensor, N.S. 6, 1956, p. 165-199. [7] S. KIKUCHI, Theory of Minkowski space and on non-linear connections in a Finsler space, Tensor, N.S. 12, 1962, p. 47-60. [8] S. KINNUNEN, Linear connections on hypersurfaces of a Banach space, Ann. Acad. Sci Fenn., Ser. A., Mathematica Dissertationes (à paraître). [9] S. KINNUNEN, On Projections and Birkhoff-James Orthogonality in Banach Spaces, Nieuw Archief voor Wiskunde, (4), 2, 1984, p. 235-255. [10] D. LAUGWITZ et E. R. LORCH, Riemannian metrics associated with convex bodies and normed spaces, Amer.
Riemannian metrics associated with convex bodies and normed spaces, Amer. J. Math., 78, 1956, p. 889-894. [11] A. LICHNEROWICZ, Géométrie des groupes de transformations, Dunod, Paris, 1958. [12] J. LOUDENSTRAUSS et L. TZAFRIRI, Classical Banach spaces 1, Springer-Verlag, Berlin-Heidelberg-New York, 1977. [13] E. R. LORCH, A curvature study of convex bodies in Banach spaces, Ann. mat. pura appl, (4), 34, 1953, p. 105-112. [14] F. NEVANLINNA et R. NEVANLINNA, Absolute analysis, Grundlehren math. Wiss., 102, Springer-Verlag, Berlin-Heidelberg-New York, 1973. [15] M. A. G. WALKER, Distributions and global connections, Colloque de géométrie différentielle globale, Gauthier-Villars, Paris, 1959. [16] O. VARGA, Die
géométrie différentielle globale, Gauthier-Villars, Paris, 1959. [16] O. VARGA, Die Krümmung der Eichfläche des Minkowskischen Raumes und die geometrische Deutung des einen Krümmungstensors des Finslerschen Raumes, Abhandlungen aus dem Math. Sem. der Universität Hamburg, 20, 1955, p. 41-51. Department of Mathematics, University ofOulu, Linnanmaa, 90570 Oulu, Finland. C. R. Acad. Sci. Paris, t. 305, Série I, p. 689-692, 1987 689 Topologie/ Topology Applications du théorème de Frostman à la dimension des ensembles de Cantor réguliers Gérard MICHON Résumé — Nous appliquons aux ensembles de Cantor ultramétriques (et plus généralement réguliers) le théorème de Frostman, énoncé pour les arbres et les
le théorème de Frostman, énoncé pour les arbres et les modules dans la Note [1]. Il permet d'établir, pour ces ensembles, l'égalité de diverses dimensions usuelles. En rapport avec ce théorème, nous dégageons la notion de présentation d'un ensemble de Cantor par arbre et modules. Deux exemples illustrent l'intérêt de cette notion. Applications of a theorem of Frostman to the dimension of regular Cantor sets Abstract — Frostman's theorem for trees and modulus [1] is applied to ultrametric Cantor sets and in général to regular Cantor sets. We get, for these sets, equality for the different dimensions usually considered. In
these sets, equality for the different dimensions usually considered. In this context we introduce the notion of presentation of a Cantor set. It is given by a tree and a modulus. Two examples enlighten the usefulness of this notion. 0. INTRODUCTION. — Cette Note est la suite de la Note [1]. Elle en reprend les concepts et les notations. Dans cette dernière Note, nous énoncions le théorème de Frostman pour les arbres munis d'un module. Il nous permettait d'étendre aux ensembles de Cantor réguliers un résultat classique ([2], p. 27). Nous traitons ici quelques applications de ce théorème selon le
Nous traitons ici quelques applications de ce théorème selon le plan suivant: — À tout module strictement positif sur un arbre nous associons une distance ultramétrique sur l'ensemble limite. Il suit du théorème de Frostman que l'ordre d'un module peut toujours être interprété comme une dimension de Hausdorff. La classe des ensembles de Cantor ainsi obtenue joue un rôle particulier : du point de vue méthodologique, nous considérons les ensembles de Cantor ultramétriques comme des modèles. Ces modèles sont présentables par un arbre et un module, de la même façon qu'un groupe peut être présenté par générateurs et relations. La
qu'un groupe peut être présenté par générateurs et relations. La classe des ensembles de Cantor ultramétriques présentés par arbre et module tire une partie de son intérêt du théorème de Frostman. Comme il est clair qu'un ensemble de Cantor contenu dans U" ne peut être isométrique à un espace ultramétrique, on est conduit à admettre, comme isomorphisme de ce type de structure non pas les isométries, mais les quasi-isométries. La classe des ensembles de Cantor ultramétriques, étendue par quasi-isométrie, est la classe des ensembles de Cantor réguliers. Elle est assez vaste pour contenir des ensembles de Cantor plongeables dans W.
vaste pour contenir des ensembles de Cantor plongeables dans W. Nous illustrons cette méthode d'étude des ensembles de Cantor par l'exemple des parfaits isotypiques : Trouver l'arbre et le module qui donnent un modèle quasi-isométrique à un parfait isotypique et calculer sur le modèle, à l'aide de la présentation, les invariants quasi-isométriques (la dimension, en l'occurrence). — Notre approche thermodynamique de la dimension est voisine de [5]. Notons que seule la structure métrique de l'ensemble de Cantor est concernée; le résultat obtenu n'est pas de nature dynamique. Dans ce paragraphe, nous mettons en évidence des ensembles de Cantor dont une
nous mettons en évidence des ensembles de Cantor dont une puissance de l'ultramétrique est une quasi-mesure, dans un sens qu'on explicite. Les parfaits isotypiques et le deuxième exemple sont des paradigmes de cette situation. Note présentée par Jean-Pierre KAHANE. 0249-6291/87/03050689 S 2.00 © Académie des Sciences C. R., 1987, 2e Semestre (T. 305) Série I C. R. Acad. Sci. Paris, t. 305, Série I, p. 689-692, 1987 Ces résultats, joints à l'étude de la dimension capacitaire lorsque le potentiel est ultramétrique, feront l'objet d'une publication détaillée. 1. ULTRAMÉTRIQUE ASSOCIÉE À UN MODULE. — Soient (E0, E1, ...) un arbre et
UN MODULE. — Soient (E0, E1, ...) un arbre et Ç : UE -> R^ un module. Si x et y sont des chemins différents qui se séparent en l'indice n^O, on définit une distance ultramétrique 8 sur l'espace compact E en posant 8(x, y)=Ç(xn). Les ultraboules sont ainsi faites : PROPOSITION. — Soient xE, e>0 et k le plus petit entier vérifiant Ç(xk)<s. Pour la métrique S, la boule ouverte de rayon e centrée en x est donnée par nk 1 nk x. L'arbre associé à cette ultramétrique [4] n'est pas l'arbre (E0, E1, ...) mais un nouvel arbre,
n'est pas l'arbre (E0, E1, ...) mais un nouvel arbre, formé des mêmes noeuds, disposés différemment et avec répétition éventuelle. On peut dire qu'un module réorganise l'arbre, grâce au système de temps d'arrêt (VE|E>0) donné par vε (x) = inf { n | Ç (xn) < 8}. Lorsque le module Ç est interprété comme un processus décroissant, ce nouveau système de temps d'arrêt correspond au changement de temps. On étend facilement la proposition 1 de [1] : PROPOSITION. — Soient un arbre (E0, E1, ...), un module Ç et 8 l'ultramétrique associée sur l'espace E. L'ordre du module Ç est