We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.GT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Geometric Topology

Title: A topological insight into the polar involution of convex sets

Authors: Luisa F. Higueras-Montaño (1), Natalia Jonard-Pérez (2) ((1) (2) Departamento de Matemáticas, Facultad de Ciencias, Universidad Nacional Autónoma de México)
Abstract: Denote by $\mathcal{K}_0^n$ the family of all closed convex sets $A\subset\mathbb{R}^n$ containing the origin $0\in\mathbb R^n$. For $A\in\mathcal{K}_0^n,$ its polar set is denoted by $A^\circ.$ In this paper, we investigate the topological nature of the polar mapping $A\to A^\circ$ on $(\mathcal{K}_0^n, d_{AW})$, where $d_{AW}$ denotes the Attouch-Wets metric. We prove that $(\mathcal{K}_0^n, d_{AW})$ is homeomorphic to the Hilbert cube $Q=\prod_{i=1}^{\infty}[-1,1]$ and the polar mapping is topologically conjugate with the standard based-free involution $\sigma:Q\rightarrow Q,$ defined by $\sigma(x)=-x$ for all $x\in Q.$ We also prove that among the contention-reversing involutions on $\mathcal K^n_0$ (also called dualities), those and only those with a unique fixed point are topologically conjugate with the polar mapping, and they can be characterized as all the maps $f:\mathcal{K}_0^n\to \mathcal{K}_0^n$ of the form $f(A)=T(A^{\circ})$, with $T$ a positive definite linear isomorphism of $\mathbb R^n$.
Comments: 33 pages
Subjects: Geometric Topology (math.GT); General Topology (math.GN)
MSC classes: 52A20, 52A21, 54B20, 54C10, 54C55 (Primary) 54H15, 57S25 (Secondary)
Cite as: arXiv:2205.08575 [math.GT]
  (or arXiv:2205.08575v1 [math.GT] for this version)

Submission history

From: Luisa F. Higueras-Montaño [view email]
[v1] Tue, 17 May 2022 18:27:32 GMT (26kb)

Link back to: arXiv, form interface, contact.