单纯链复形边缘算子∂r,保留交错面公式、r=0约定及线性延拓;与边界集合、边缘群均不同。管理员核对的原书定义/陈述;不声明首次出现,不把Theorem环境伪作Definition编号。

别名:

词性:名词

已登记的原文定义

Nakahara · second-edition-local · §3.3.2 · PDF 第123页

Let  $\sigma_r(p_0\ldots p_r)$  ( $r > 0$ ) be an oriented  $r$ -simplex. The boundary  $\partial_r\sigma_r$  of  $\sigma_r$  is an  $(r - 1)$ -chain defined by

单纯链复形边缘算子∂r,保留交错面公式、r=0约定及线性延拓;与边界集合、边缘群均不同。管理员核对的原书定义/陈述;不声明首次出现,不把Theorem环境伪作Definition编号。

阅读原文位置 · en

阅读原文位置 · zh-CN

Nakahara · second-edition-local · §3.3.2 · PDF 第123页


$$
\partial_ {r} \sigma_ {r} \equiv \sum_ {i = 0} ^ {r} (- 1) ^ {i} \left(p _ {0} p _ {1} \dots \hat {p} _ {i} \dots p _ {r}\right) \tag {3.20}
$$

单纯链复形边缘算子∂r,保留交错面公式、r=0约定及线性延拓;与边界集合、边缘群均不同。管理员核对的原书定义/陈述;不声明首次出现,不把Theorem环境伪作Definition编号。

阅读原文位置 · en

阅读原文位置 · zh-CN

Nakahara · second-edition-local · §3.3.2 · PDF 第123页

where the point  $p_i$  under  $\hat{\mathbf{\mu}}$  is omitted. For example,

单纯链复形边缘算子∂r,保留交错面公式、r=0约定及线性延拓;与边界集合、边缘群均不同。管理员核对的原书定义/陈述;不声明首次出现,不把Theorem环境伪作Definition编号。

阅读原文位置 · en

阅读原文位置 · zh-CN

Nakahara · second-edition-local · §3.3.2 · PDF 第123页


$$
\begin{array}{l} \partial_ {2} \left(p _ {0} p _ {1} p _ {2}\right) = \left(p _ {1} p _ {2}\right) - \left(p _ {0} p _ {2}\right) + \left(p _ {0} p _ {1}\right) \\ \partial_ {3} \left(p _ {0} p _ {1} p _ {2} p _ {3}\right) = \left(p _ {1} p _ {2} p _ {3}\right) - \left(p _ {0} p _ {2} p _ {3}\right) + \left(p _ {0} p _ {1} p _ {3}\right) - \left(p _ {0} p _ {1} p _ {2}\right). \\ \end{array}
$$

单纯链复形边缘算子∂r,保留交错面公式、r=0约定及线性延拓;与边界集合、边缘群均不同。管理员核对的原书定义/陈述;不声明首次出现,不把Theorem环境伪作Definition编号。

阅读原文位置 · en

阅读原文位置 · zh-CN

Nakahara · second-edition-local · §3.3.2 · PDF 第123页

We formally define  $\partial_0\sigma_0 = 0$  for  $r = 0$ .

单纯链复形边缘算子∂r,保留交错面公式、r=0约定及线性延拓;与边界集合、边缘群均不同。管理员核对的原书定义/陈述;不声明首次出现,不把Theorem环境伪作Definition编号。

阅读原文位置 · en

阅读原文位置 · zh-CN

Nakahara · second-edition-local · §3.3.2 · PDF 第123页

The operator  $\partial_r$  acts linearly on an element  $c = \sum_{i} c_i \sigma_{r,i}$  of  $C_r(K)$ ,

单纯链复形边缘算子∂r,保留交错面公式、r=0约定及线性延拓;与边界集合、边缘群均不同。管理员核对的原书定义/陈述;不声明首次出现,不把Theorem环境伪作Definition编号。

阅读原文位置 · en

阅读原文位置 · zh-CN

Nakahara · second-edition-local · §3.3.2 · PDF 第123页


$$
\partial_ {r} c = \sum_ {i} c _ {i} \partial_ {r} \sigma_ {r, i}. \tag {3.21}
$$

单纯链复形边缘算子∂r,保留交错面公式、r=0约定及线性延拓;与边界集合、边缘群均不同。管理员核对的原书定义/陈述;不声明首次出现,不把Theorem环境伪作Definition编号。

阅读原文位置 · en

阅读原文位置 · zh-CN

Nakahara · second-edition-local · §3.3.2 · PDF 第123页

The RHS of (3.21) is an element of  $C_{r-1}(K)$ . Accordingly,  $\partial_r$  defines a map

单纯链复形边缘算子∂r,保留交错面公式、r=0约定及线性延拓;与边界集合、边缘群均不同。管理员核对的原书定义/陈述;不声明首次出现,不把Theorem环境伪作Definition编号。

阅读原文位置 · en

阅读原文位置 · zh-CN

Nakahara · second-edition-local · §3.3.2 · PDF 第123页


$$
\partial_ {r}: C _ {r} (K) \rightarrow C _ {r - 1} (K). \tag {3.22}
$$

单纯链复形边缘算子∂r,保留交错面公式、r=0约定及线性延拓;与边界集合、边缘群均不同。管理员核对的原书定义/陈述;不声明首次出现,不把Theorem环境伪作Definition编号。

阅读原文位置 · en

阅读原文位置 · zh-CN

Nakahara · second-edition-local · §3.3.2 · PDF 第123页

$\partial_r$  is called the boundary operator. It is easy to see that the boundary operator is a homomorphism.

单纯链复形边缘算子∂r,保留交错面公式、r=0约定及线性延拓;与边界集合、边缘群均不同。管理员核对的原书定义/陈述;不声明首次出现,不把Theorem环境伪作Definition编号。

阅读原文位置 · en

阅读原文位置 · zh-CN

按作者与版本查阅

以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示;最早位置不代表全书首次定义。

Nakahara · second-edition-local

已登记出处中的最早位置:§3.3 · zh-CN。

位置语言登记角色
§3.3zh-CN · 英文上下文首次提及(不等于定义)
§6.2zh-CN · 英文上下文讨论
来源短摘录与定位

§3.3 · zh-CN · machine_draft · unreviewed

正文请在原位置阅读;长段落、数学边界或未定位引用不截断嵌入,精确范围与指纹保存在结构化索引。

§6.2 · zh-CN · machine_draft · unreviewed

正文请在原位置阅读;长段落、数学边界或未定位引用不截断嵌入,精确范围与指纹保存在结构化索引。

原文中已定位的引用(不自动视为依赖)
来源覆盖、定位与记录

索引保留所有已登记出处,不受模型材料包八小节限额影响。中英上下文按已登记的书、版次与小节配对,不冒充另一语言的概念定义。没有穷尽全书未标记的术语;程序校验不提升原著或译文审阅资格。

登记位置 0;当前可定位出现 2。

永久身份:urn:uuid:63e6354d-b1e8-4f50-835c-9b4368891ad8。

结构化来源索引