常见数学符号¶

一、基本运算符号¶

四则运算
- +（加）、− 或 –（减）、× 或 ·（乘）、÷ 或 /（除）
- ±（正负号），表示同时考虑正负值，如二次方程根公式中的应用。
高级运算
- ∑（求和符号），如 \(\sum_{i=1}^n x_i\) 表示对序列 \(x_1\) 到 \(x_n\) 求和。
- ∏（连乘符号），如 \(\prod_{i=1}^n x_i\) 表示对序列求积。
- √（根号），∫（积分符号），∂（偏微分符号）。

注意：

在行内公式（inline math）中, 上下标被排到符号的右边，是为了节省垂直空间，避免破坏正文排版。
在独立公式（display math）中，哪种都可以了。

比如还是上面的公式，独立公式的像是如下：

\[\sum_{i=1}^n x_i\]

集合运算
- ∈（属于）、∉（不属于）、⊆（包含于）、∪（并集）、∩（交集）、∅（空集）。
- 示例：若 \(a ∈ S\)，则 \(a\) 是集合 \(S\) 的元素。
逻辑符号
- ∀（全称量词，“对所有”）、∃（存在量词，“存在”）。
- ∧（逻辑与）、∨（逻辑或）、¬（逻辑非）。
- 示例：\(∀x ∈ ℝ, ∃y ∈ ℕ, y > x\) 表示“对任意实数 \(x\)，存在自然数 \(y\) 大于 \(x\)”。

设有两个集合 \(A\) 和 \(B\)，它们的笛卡尔积记作：

\[A \times B\]

它表示的是所有有序对 \((a, b)\) 的集合，其中 \(a \in A\)，\(b \in B\)，也就是说：

\[A \times B = \{ (a, b) \mid a \in A,\ b \in B \}\]

举个例子：

设 \(A = \{1, 2\}\)，\(B = \{x, y\}\)，那么：

\[A \times B = \{ (1, x), (1, y), (2, x), (2, y) \}\]

注意：

对于多个集合 \(A_1, A_2, \dots, A_n\)，其笛卡尔积定义为：

\[A_1 \times A_2 \times \cdots \times A_n = \{ (a_1, a_2, \dots, a_n) \mid a_i \in A_i,\ \forall i = 1, 2, \dots, n \}\]

如果所有集合都一样，比如 \(A \times A \times \cdots \times A\)（共 \(n\) 次），可以简记为：

\[A^n\]

表示 \(A\) 的 \(n\) 重笛卡尔积，例如：

\[\mathbb{R}^2 = \mathbb{R} \times \mathbb{R}\]

表示二维实数平面，每个元素是 \((x, y)\)，其中 \(x, y \in \mathbb{R}\)。

需要我给你出几个练习题或者配图说明吗？笛卡尔积配图特别适合理解。

关系符号
- ≡（恒等于）、≈（约等于）、∝（正比于），如 \(a ∝ b\) 表示 \(a\) 与 \(b\) 成正比。
- ∞（无穷大），用于极限或无穷级数，如 \(\lim_{x→\infty} f(x)\)。
常用常量
- π（圆周率）、e（自然对数的底，约 2.718）、i（虚数单位，\(i^2 = -1\)）。
- 特殊集合：ℕ（自然数集）、ℤ（整数集）、ℚ（有理数集）、ℝ（实数集）、ℂ（复数集）。

代数中不同字体符号代表特定数学对象，需结合 LaTeX 符号理解：

黑板粗体（\mathbb）：𝔸（仿射空间）、𝔽（域）、ℍ（四元数体）。
正体粗体（\mathbf）：表示向量或矩阵，如 \(\mathbf{A}\) 表示矩阵。
手写体（\mathscr 或 \mathcal）：用于范畴论或拓扑空间，如 \(\mathscr{C}\) 表示范畴。
希腊字母：
- α, β, γ 表示角度或系数；
- Δ（变化量，如判别式 \(\Delta = b^2-4ac\)）；
- Σ（求和）；λ（特征值）。