WikiEdge:ArXiv-1312.4141

出自WikiEdge
跳至導覽 跳至搜尋
  • 標題：Hyperspaces of convex bodies of constant width
  • 中文標題：常寬凸體的超空間
  • 發布日期：2013-12-15 12:15:14+00:00
  • 作者：Sergey Antonyan, Natalia Jonard-Pérez, Saúl Juárez-Ordóñez
  • 分類：math.GT, math.MG, 57N20, 57S10, 52A99, 52A20, 54B20, 54C55
  • 原文鏈接：http://arxiv.org/abs/1312.4141v1

摘要：設n為大於或等於2的自然數。在本文中，我們研究了具有Hausdorff度量拓撲的常寬凸子集的某些超空間的拓撲結構。我們關注的是所有緊凸子集的超空間cw_D(R^n)，其常寬度d\in D，其中D是[0,\infty)的凸子集。我們的主要結果表明，cw_D(R^n)與D\times R^n\times Q同胚，其中Q表示Hilbert立方體。我們還證明了由所有相對寬度為d\in D的緊凸集對組成的超空間crw_D(R^n)與cw_D(R^n)同胚。特別地，我們證明了所有常寬緊凸體的超空間cw(R^n)，以及所有相對正寬度的緊凸集對的超空間crw(R^n)，都與R^{n+1}\times Q同胚。

問題與動機

作者的研究問題包括：

  • 如何描述所有具有常寬的緊緻凸子集的超空間（hyperspace）在歐幾里得空間中的拓撲結構？
  • 對於任意非空凸子集D⊂[0, ∞)，如何證明超空間cwD(Rn)和crwD(Rn)同胚於D×Rn×Q，其中Q表示Hilbert立方體？
  • 如何證明對於所有n≥2和所有非空凸子集D≠{0}的[0, ∞)，超空間cwD(Rn)和crwD(Rn)的拓撲結構？
  • 如何填補文獻[4]中證明cwD(Rn)是可縮Hilbert立方體流形時存在的證明漏洞？
  • 如何利用已知的凸體常寬概念，推廣到具有常相對寬的緊緻凸集對，並研究其性質？

背景介紹

這篇文獻的背景主要集中在以下幾個方面：

  1. 凸體的超空間研究：
    • 研究涉及所有非空緊緻凸子集的超空間 \( \mathcal{C}(\mathbb{R}^n) \)，這些子集在歐幾里得空間 \( \mathbb{R}^n \) 中以Hausdorff度量拓撲結構為特徵。
    • 特別關注具有恆定寬度或相對恆定寬度的凸集的子空間，這些概念在凸體幾何學中具有重要地位。
  2. 恆定寬度和相對恆定寬度的概念：
    • 凸集的恆定寬度定義為該集合任意兩個平行支撐超平面之間的距離相等。
    • 相對恆定寬度是恆定寬度概念的推廣，涉及兩個凸集之間的距離關係。
  3. 數學和拓撲結構的深入分析：
  4. Q-流形和映射的性質：
    • 論文證明了這些超空間是Q-流形，即它們是可分的、可度量的，並且每個開覆蓋都是與Hilbert立方體的開子集同胚。
    • 討論了映射如 \( \eta_D \) 的性質，這些映射將凸體超空間映射到更簡單的拓撲空間，如 \( D \times \mathbb{R}^n \)。

綜上所述，這篇文獻的背景強調了在歐幾里得空間中，具有恆定寬度或相對恆定寬度的凸體超空間的拓撲和幾何性質，以及這些性質如何通過映射和變換得以體現。

章節摘要

這篇論文是關於歐幾里得空間中常寬凸體的超空間結構的研究，主要內容包括：

  1. 引言：
    • 定義了歐幾里得空間中所有非空緊緻凸子集的超空間cc(Rn)，並介紹了由Hausdorff度量誘導的拓撲。
    • 討論了常寬凸體的概念，即兩個平行支撐超平面間的距離相等的凸集。
    • 提出了常相對寬對的概念，這是常寬凸集概念的推廣。
  2. 預備知識：
    • 介紹了絕對鄰域收縮(ANR)、適當的映射、單元映射等拓撲空間的概念。
    • 回顧了凸集的一些基本操作，如Minkowski和、支撐函數和寬度函數。
  3. 超空間cwd(Rn)：
    • 描述了一維情況下常寬凸體超空間的拓撲結構。
    • 證明了對於n≥2，常寬凸體超空間是一個可縮的Q-流形。
    • 展示了如何構造任意維度中的常寬凸體。
  4. 超空間crwD(Rn)：
    • 討論了常相對寬對的超空間的拓撲結構。
    • 證明了對於n≥2，常相對寬對超空間與常寬凸體超空間同胚。
  5. 主要結果：
    • 證明了對於所有非空凸子集D≠{0}，常寬凸體超空間cwd(Rn)與D×Rn×Q同胚。
    • 證明了常相對寬對超空間crwD(Rn)與cwd(Rn)同胚。
    • 討論了這些結果在不同維度和不同凸子集D下的具體表現。

研究方法

這篇論文通過數學理論和拓撲學方法，探討了歐幾里得空間中具有恆定寬度的凸體的超空間結構。以下是該研究方法論的主要組成部分：

  1. 數學定義與符號：
    • 定義了cc(Rn)為所有非空緊緻凸子集的超空間，使用Hausdorff度量拓撲。
    • 引入了常寬凸體的概念，並定義了常相對寬度的凸體對。
    • 使用了支持函數和寬度函數等凸體的數學描述。
  2. 拓撲空間理論：
    • 利用了絕對鄰域收縮子（ANR）和Q-流形的概念來描述超空間的拓撲性質。
    • 研究了超空間的連續映射、緊緻性、連通性等基本拓撲性質。
    • 應用了Hausdorff度量和凸包理論來分析凸體的拓撲結構。
  3. 凸體的構造與性質：
    • 利用了Minkowksi操作來構造具有特定寬度的凸體。
    • 探討了凸體的直徑和中心點的連續性。
    • 研究了凸體的投影和提升維度過程。
  4. 超空間的映射與同胚：
    • 定義了從超空間到D×Rn×Q的映射，並證明了其連續性和單射性。
    • 利用了Edwards定理來證明超空間與D×Rn×Q的同胚性。
    • 討論了超空間的局部緊緻性和閉性。
  5. 證明與反駁：
    • 通過構造反例來反駁了某些先前的錯誤假設。
    • 提供了詳細的證明來支持新的定理和命題。
    • 使用了歸納法和幾何論證來證明定理。
  6. 應用與推廣：
    • 將結果推廣到任意維度的歐幾里得空間。
    • 討論了結果在其他數學分支如幾何和代數幾何中的潛在應用。

這篇論文的方法論分析結果表明，對於任意維度n≥2和非空凸子集D≠{0}，具有恆定寬度的凸體的超空間cwD(Rn)和具有恆定相對寬度的凸體對的超空間crwD(Rn)都與D×Rn×Q同胚，從而為理解這些超空間的拓撲結構提供了深刻的數學基礎。

研究結論

根據提供的文獻內容，這篇論文的主要結論可以概括如下：

  1. 常寬凸體的超空間：對於任意維度 \( n \geq 1 \)，所有非空緊緻凸子集的超空間 \( cc(R^n) \) 賦予Hausdorff度量拓撲，可以被證明與 \( D \times R^n \times Q \) 同胚，其中 \( Q \) 表示Hilbert立方體。
    1. 常寬凸體的子空間：對於任意非空凸子集 \( D \) 屬於 \( [0, \infty) \)，所有常寬 \( d \in D \) 的緊緻凸集構成的子空間 \( cwD(R^n) \) 與 \( D \times R^n \times Q \) 同胚。
    2. 常相對寬凸體對的超空間：對於任意非空凸子集 \( D \) 屬於 \( [0, \infty) \)，所有常相對寬 \( d \in D \) 的緊緻凸集對構成的超空間 \( crwD(R^n) \) 與 \( cwD(R^n) \) 同胚。
  2. 低維情況的特別說明：
    1. 一維情況：當 \( n = 1 \) 時，\( cwD(R) \) 與 \( D \times R \) 同胚，而 \( crwD(R) \) 與 \( D \times R \times [0, 1] \) 同胚。
  3. 高維情況的一般性質：
    1. Q-流形性質：對於 \( n \geq 2 \)，\( cwD(R^n) \) 和 \( crwD(R^n) \) 都是可縮的Q-流形。
    2. 映射性質：定義的映射 \( \eta_D: cwD(R^n) \to D \times R^n \) 是一個單元映射，意味着 \( cwD(R^n) \) 是 \( D \times R^n \) 的一個像。

這些結論為理解不同維度下常寬和常相對寬凸體的超空間提供了重要的拓撲結構信息。

術語表

這篇文章的術語表如下：

  • 凸體（Convex body）：指一個在歐幾里得空間中的緊緻凸子集，具有非空的內部。
  • 常寬凸體（Convex body of constant width）：指在歐幾里得空間中的一個緊緻凸集，其任意兩個平行支撐超平面之間的距離相等。
  • 相對常寬（Constant relative width）：指一對緊緻凸集在歐幾里得空間中，對於每一個單位向量，它們的支撐函數之和為常數。
  • Hausdorff 度量（Hausdorff metric）：用於度量兩個緊緻集合在歐幾里得空間中的最大距離。
  • 超空間（Hyperspace）：指所有非空緊緻凸子集的集合，賦予Hausdorff度量拓撲。
  • 希爾伯特立方（Hilbert cube）：指由[0, 1]的無限笛卡爾積構成的空間，記為Q。
  • Q-流形（Q-manifold）：指一個可分離的、可度量化的空間，它有一個開覆蓋，每個成員都是希爾伯特立方的開子集的同胚像。
  • 仿射變換（Affine transformation）：指在歐幾里得空間中保持點之間度量關係的線性變換。
  • 支撐函數（Support function）：定義為對於一個凸集和空間中的一個方向，該方向上所有點的支撐超平面的法向量與點的內積的最大值。
  • 寬度函數（Width function）：定義為一個凸集的支撐函數在正方向和反方向上的值的和。
  • 切比雪夫球（Chebyshev ball）：對於一個凸集，指包含該凸集的最小半徑球。
  • 收縮映射（Retraction）：指一個映射，它將一個空間中的一個鄰域映射到該空間的一個子集上，並且保持該子集上的點不變。
  • 絕對鄰域收縮（Absolute neighborhood retract，ANR）：指一個度量空間，對於任何包含它的度量空間，都存在一個鄰域和到該空間的收縮映射。
  • 仿射群（Affine group）：指由所有仿射變換構成的群，記為Rn ⋊ GL(n)。
  • 相似變換（Similarity transformation）：指一個具有正比率λ的仿射變換，使得對於所有點x, y，有∥g(x) − g(y)∥ = λ∥x − y∥。
  • Minkowski 加法（Minkowski addition）：對於兩個集合A和B，定義為A + B = {a + b | a ∈ A, b ∈ B}。
  • 仿射等距嵌入（Affine isometric embedding）：指一個映射，它保持了集合的仿射結構和度量性質。
  • 凸集的直徑（Diameter of a convex set）：指凸集內部任意兩點間的最大距離。
  • 凸集的凸包（Convex hull）：指包含一個給定集合的最小凸集。

參考文獻

這篇文章的主要參考文獻如下：

  1. Alperin, J.L. & Bell, R.B. (1995). Groups and Representations, Graduate texts in mathematics 162, Springer, New York.
    • 提供了關於群和表示理論的基礎知識，可能對理解文中涉及的數學結構有幫助。
  2. Antonyan, S.A. & Jonard-Perez, N. (2013). Affine group acting on hyperspaces of compact convex subsets of Rn, Fund. Math. 223 (1), 99-136.
    • 討論了仿射群在緊緻凸子集超空間上的作用，為本文提供了理論基礎。
  3. Bessaga, C. & Pelczynski, A. (1975). Selected Topics in Infinite-Dimensional Topology, Polish Scientific Publishers, Warzawa.
    • 涉及無限維拓撲學的選擇性主題，對本文的拓撲結構討論可能有重要影響。
  4. Bazylevych, L.E. & Zarichnyi, M.M. (2006). On convex bodies of constant width, Topol. Appl. 153 (9), 1699-1704.
    • 專注於常寬凸體的研究，為本文提供了直接相關的理論支持。
  5. Chapman, T.A. (1975). Lectures on Hilbert Cube Manifolds, C. B. M. S. Regional Conference Series in Math., 28, Amer. Math. Soc., Providence, RI.
    • 討論了希爾伯特立方體流形的講座，為本文提供了拓撲空間理論的參考。
取自「http://zh.wikiedge.org/index.php?title=WikiEdge:ArXiv-1312.4141&oldid=2371」