Metric Geometry of Finite Subset Spaces
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2020
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909289483862016 |
|---|---|
| author | Akofor, Earnest |
| author_facet | Akofor, Earnest |
| contents | If $X$ is a (topological) space, the $n$th finite subset space of $X$, denoted by $X(n)$, consists of $n$-point subsets of $X$ (i.e., nonempty subsets of cardinality at most $n$) with the quotient topology induced by the unordering map $q:X^n\to X(n)$, $(x_1,\cdots,x_n)\mapsto\{x_1,\cdots,x_n\}$. That is, a set $A\subset X(n)$ is open if and only if its preimage $q^{-1}(A)$ is open in the product space $X^n$. Given a space $X$, let $H(X)$ denote all homeomorphisms of $X$. For any class of homeomorphisms $C\subset H(X)$, the $C$-geometry of $X$ refers to the description of $X$ up to homeomorphisms in $C$. Therefore, the topology of $X$ is the $H(X)$-geometry of $X$. By a ($C$-) geometric property of $X$ we will mean a property of $X$ that is preserved by homeomorphisms of $X$ (in $C$). Metric geometry of a space $X$ refers to the study of geometry of $X$ in terms of notions of metrics (e.g., distance, or length of a path, between points) on $X$. In such a study, we call a space $X$ metrizable if $X$ is homeomorphic to a metric space. Naturally, $X(n)$ always inherits some aspect of every geometric property of $X$ or $X^n$. Thus, the geometry of $X(n)$ is in general richer than that of $X$ or $X^n$. For example, it is known that if $X$ is an orientable manifold, then (unlike $X^n$) $X(n)$ for $n>1$ can be an orientable manifold, a non-orientable manifold, or a non-manifold. In studying geometry of $X(n)$, a central research question is "If $X$ has geometric property $P$, does it follow that $X(n)$ also has property $P$?". A related question is "If $X$ and $Y$ have a geometric relation $R$, does it follow that $X(n)$ and $Y(n)$ also have the relation $R$?". (Truncated) |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2004_09419 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | Metric Geometry of Finite Subset Spaces Akofor, Earnest General Topology Functional Analysis Metric Geometry 54E40, 46B20, 54B20, 54C15, 54C25 If $X$ is a (topological) space, the $n$th finite subset space of $X$, denoted by $X(n)$, consists of $n$-point subsets of $X$ (i.e., nonempty subsets of cardinality at most $n$) with the quotient topology induced by the unordering map $q:X^n\to X(n)$, $(x_1,\cdots,x_n)\mapsto\{x_1,\cdots,x_n\}$. That is, a set $A\subset X(n)$ is open if and only if its preimage $q^{-1}(A)$ is open in the product space $X^n$. Given a space $X$, let $H(X)$ denote all homeomorphisms of $X$. For any class of homeomorphisms $C\subset H(X)$, the $C$-geometry of $X$ refers to the description of $X$ up to homeomorphisms in $C$. Therefore, the topology of $X$ is the $H(X)$-geometry of $X$. By a ($C$-) geometric property of $X$ we will mean a property of $X$ that is preserved by homeomorphisms of $X$ (in $C$). Metric geometry of a space $X$ refers to the study of geometry of $X$ in terms of notions of metrics (e.g., distance, or length of a path, between points) on $X$. In such a study, we call a space $X$ metrizable if $X$ is homeomorphic to a metric space. Naturally, $X(n)$ always inherits some aspect of every geometric property of $X$ or $X^n$. Thus, the geometry of $X(n)$ is in general richer than that of $X$ or $X^n$. For example, it is known that if $X$ is an orientable manifold, then (unlike $X^n$) $X(n)$ for $n>1$ can be an orientable manifold, a non-orientable manifold, or a non-manifold. In studying geometry of $X(n)$, a central research question is "If $X$ has geometric property $P$, does it follow that $X(n)$ also has property $P$?". A related question is "If $X$ and $Y$ have a geometric relation $R$, does it follow that $X(n)$ and $Y(n)$ also have the relation $R$?". (Truncated) |
| title | Metric Geometry of Finite Subset Spaces |
| topic | General Topology Functional Analysis Metric Geometry 54E40, 46B20, 54B20, 54C15, 54C25 |
| url | https://arxiv.org/abs/2004.09419 |