从集合论看,这个点就是集合中的一个元素;由它构成的单点集 {p} 是一个只含该元素的集合。
每个点 p 都有一个邻域例如一个开球同胚于 R⁵ 中的开集,因此 p 本身不是开集而是闭集——任何包含 p 的开集必然包含该邻域内的无穷多个其他点。
单点集 {p} 是闭集,因为它的补集 M₅\{p} 是开集。
这一性质与一维实数轴上的点完全相同:单点集总是闭的,非开。
五维流形的坐标集明确规定为 {x⁰,x¹,x²,x³,x⁴}。
x⁴ 即RS1中的 φ 坐标。
采纳的时空流形是 M₅ = {R⁴ × [0,π]在无量纲化 φ= x⁴/L 下。这是分析的起点。
φ 是无量纲坐标,取值范围从0到π。
两张膜分别位于端点 φ=0 和 φ=π。
区间 [0,π] 内部无膜,但作为体存在。
区间 [0,π] 与实数集 R 等势,(基数为 c)。
每个 φ∈ [0,π]对应一个四维子流形 R⁴ ×{φ₀}。
这样的子流形共有 |{R}| = {c} 个。
集合论定义为一个有序五元组
在五维流形 M₅=R⁴×[0,π] 中,一个点 p 由五个实数坐标唯一确定:
p = (x⁰, x¹, x², x³, φ),
其中
(x⁰,x¹,x²,x³) ∈R⁴ 是四维时空坐标,通常 x⁰ 为时间,x¹,x²,x³ 为空间。
φ∈ [0,π]是第五维坐标,在RS1模型中常无量纲化,代表额外维的位置。
不可数无穷多个切片:来自第五维坐标 φ∈ (0,π) 的实数取值。每个固定的 φ₀ 对应一个四维子流形 R⁴ × {φ₀}。由于 (0—π) 与 {R} 等势,切片数量为连续统基数 (c)不可数无穷。这些切片是时空点集的几何划分。
在广义相对论RS模型中,时空点不仅是集合元素,更是一个事件,其上定义了度规张量 GMN(p)(M,N=0,1,2,3,4)。
广义相对论的弯曲时空:是标准的“非欧几里得”空间
它满足“非欧”的定义:在这样的时空里,欧几里得几何的平行公理,过直线外一点有且只有一条平行线,失效。例如,在引力场中,两条原本平行的测地线例如自由落体的轨迹可能会靠近,例如在球面几何中,或远离例如在双曲几何中。
S = ∫ d⁵x √(-G) [ (2M³R—∧)+δ(φ-π) ℒ_ SM+δ(φ) ℒ_PL ]
体积元 d⁵x √(-G) 依赖于五维度规,保证作用量广义协变。
2M³R—∧是五维爱因斯坦-希尔伯特作用量,M是五维约化普朗克质量,其中 -∧ 是负宇宙学常数,这说明第五维φ∈ (0,π) 是连续的
根据 φ 的取值,点可分为两类
膜上的点:φ=0 或 φ=π 对应两张膜。这些点所在的四维切片(固定 φ)是物理上特殊的“世界”,标准模型场被束缚于此。但在数学上,它们仍是五维流形中的普通点,只是其邻域包含了膜外的体空间。
体内的点:φ ∈ (0,π) 对应体空间(bulk)中的点。引力场和某些体场(如U场)在这里传播。
膜上的点通过δ函数与物质场耦合,但这并不改变其作为点的基本属性——它们依然是五维坐标空间中的元素。
δS = ∫ d⁵x √(-G) [ Gᴹᴺ D_M U D_N U - M² U² + ε₀ U² R + g U² δ(φ) Hᴴ H + g U² δ(φ-π) ℒ_PL ]
U场是定义在全部五维坐标上的函数,自变量包括 (x,φ)。
这直接意味着:对于每一个 ,U在该切片上有取值 U(x^μ,φ)。
若 φ 的取值集合不是实数集,U场的定义域将不连续,这与“传播于额外维”的物理图像矛盾。
U场的定义本身就已经确定了 φ 取值为实数集——因为它是 φ 的函数,而非仅在离散点上有定义。
动能项Gᴹᴺ D_M U D_N U 允许U在五维体中传播,包括沿第五维的梯度。这意味着 U 是 φ 的连续函数(除膜处可能因δ源导数跃变)。
质量项 M² U² 是U在五维体中的裸质量,一般为五维质量参数。
非最小耦合ε₀ U²R 是U与五维里奇标量的直接耦合。且可在体空间中传播,在AdS背景中 R 为常数负值,此项等价于贡献一个有效质量项。
膜上耦合项
g U² δ(φ) Hᴴ H 在 φ=0 膜上,U与希格斯场 H 耦合,H 仅存在于该膜上(标准模型场被束缚在膜上)。
g U² δ(φ-π) ℒ_PL ]在φ=π 膜上,U与普朗克膜拉氏量耦合。