Espace σ-compact | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

In mathematics, a topological space is said to be σ-compact if it is the union of countably many compact subspaces. A space is said to be σ-locally compact if it is both σ-compact and (weakly) locally compact. That terminology can be somewhat confusing as it does not fit the usual pattern of σ-(property) meaning a countable union of spaces satisfying (property); that's why such spaces are more commonly referred to explicitly as σ-compact (weakly) locally compact, which is also equivalent to being exhaustible by compact sets. Every compact space is σ-compact, and every σ-compact space is Lindelöf (i.e. every open cover has a countable subcover). The reverse implications do not hold, for example, standard Euclidean space (Rn) is σ-compact but not compact, and the lower limit topology on the real line is Lindelöf but not σ-compact. In fact, the countable complement topology on any uncountable set is Lindelöf but neither σ-compact nor locally compact. However, it is true that any locally compact Lindelöf space is σ-compact. (The irrational numbers) is not σ-compact. A Hausdorff, Baire space that is also σ-compact, must be locally compact at at least one point. If G is a topological group and G is locally compact at one point, then G is locally compact everywhere. Therefore, the previous property tells us that if G is a σ-compact, Hausdorff topological group that is also a Baire space, then G is locally compact. This shows that for Hausdorff topological groups that are also Baire spaces, σ-compactness implies local compactness. The previous property implies for instance that Rω is not σ-compact: if it were σ-compact, it would necessarily be locally compact since Rω is a topological group that is also a Baire space. Every hemicompact space is σ-compact. The converse, however, is not true; for example, the space of rationals, with the usual topology, is σ-compact but not hemicompact. The product of a finite number of σ-compact spaces is σ-compact. However the product of an infinite number of σ-compact spaces may fail to be σ-compact.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (1)

Concepts associés (7)

Cours associés (28)

Séances de cours associées (285)

Propriété topologique

En topologie et dans les domaines connexes des mathématiques, une propriété topologique (ou invariant topologique) est une propriété sur un espace topologique qui reste invariant sous l'application d'homéomorphismes. C'est-à-dire que chaque fois qu'un espace topologique X possède cette propriété, chaque espace homéomorphe à X possède également cette propriété. De manière informelle, une propriété topologique est une propriété qui peut entièrement être exprimée à l'aide d'ensemble ouverts.

Espace σ-compact

En mathématiques, un espace topologique est dit σ-compact (ou localement compact dénombrable à l'infini) s'il est l'union dénombrable de sous-espaces compacts. Un espace est dit σ-localement compact s'il est à la fois σ-compact et localement compact. Tout espace compact est σ-compact, et tout espace σ-compact est de Lindelöf (c'est-à-dire que tout recouvrement ouvert a un sous-recouvrement dénombrable).

Droite de Sorgenfrey

En mathématiques, la droite de Sorgenfrey — souvent notée S — est la droite réelle R munie de la topologie (plus fine que la topologie usuelle) dont une base est constituée des intervalles semi-ouverts de la forme [a, b[ (pour a et b réels tels que a < b). Robert Sorgenfrey l'a définie pour démontrer que le produit de deux espaces paracompacts n'est pas toujours paracompact ; c'est aussi un exemple simple d'espace normal dont le carré n'est pas normal.

MATH-410: Riemann surfaces

This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex

MATH-315: Topological groups

We study topological groups. Particular attention is devoted to compact and locally compact groups.

MATH-338: Topological groups

We study topological groups. Particular attention is devoted to compact and locally compact groups.

Extrapolation et synthèse

Christian Fiorillo

Let G a locally compact group, H a closed subgroup and 1 < p < ∞. It's well-known that the restriction of the functions from G to H is a surjective linear contraction from Ap(G) onto Ap(H). We prove, when H is amenable, that every element in Ap(H) with compact support can be extended to an element in Ap(G) of which we can check norm and support. This result is already known in the case of normal subgroups and also for compact subgroups. We obtain the existence of a quasi-coretract in the BAN category, as a substitute of a morphism ΓH such that ResH ◦ ΓH = idAp(H). Indeed, for an amenable subsgroup, the morphism ΓH, a priori, doesn't exist. So, we construct a net of morphismes in BAN from Ap(H) into Ap(G), that converge to idAp(H) for the strong operator's topology on Ap(H) (that's for us the notion of a quasi-coretract in BAN). Furthermore, if H is metrizable and σ-compact we obtain, more precisely, a sequence. Moreover, our approach allows us to extend to the non-abelian case some works of H. Reiter and C. Herz concerning the spectral synthesis of bounded uniformly continuous functions. My results are new even for the Fourier algebra.

EPFL2007

Couvre les actions correctes des groupes sur les surfaces de Riemann et introduit des courbes algébriques via des racines carrées.

Couvre les points fixes de l'opérateur Ruelle-Thurston et ses applications en analyse complexe.

Couvre la théorie de Morse, les points critiques, et l'indice de Conley-Zehnder dans les systèmes hamiltoniens.