# 常见数学符号

## 一、基本运算符号

1. **四则运算**  
   - `+`（加）、`−` 或 `–`（减）、`×` 或 `·`（乘）、`÷` 或 `/`（除）  
   - `±`（正负号），表示同时考虑正负值，如二次方程根公式中的应用。

2. **高级运算**  
   - `∑`（求和符号），如 $\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$$

---

## 二、集合与逻辑符号

1. **集合运算**  
   - `∈`（属于）、`∉`（不属于）、`⊆`（包含于）、`∪`（并集）、`∩`（交集）、`∅`（空集）。  
   - 示例：若 $a ∈ S$，则 $a$ 是集合 $S$ 的元素。

2. **逻辑符号**  
   - `∀`（全称量词，“对所有”）、`∃`（存在量词，“存在”）。  
   - `∧`（逻辑与）、`∨`（逻辑或）、`¬`（逻辑非）。  
   - 示例：$∀x ∈ ℝ, ∃y ∈ ℕ, y > x$ 表示“对任意实数 $x$，存在自然数 $y$ 大于 $x$”。

---

## 三、笛卡尔积（Cartesian Product)

设有两个集合 $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, b)$ 和 $(b, a)$ 是不同的（除非 $a = b$）  
- $A \times B \neq B \times A$ 一般成立（除非两个集合完全相同，且所有元素等价）

### 多集合的笛卡尔积

对于多个集合 $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}$。

---

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

---

## 四、特殊符号与常量

1. **关系符号**  
   - `≡`（恒等于）、`≈`（约等于）、`∝`（正比于），如 $a ∝ b$ 表示 $a$ 与 $b$ 成正比。  
   - `∞`（无穷大），用于极限或无穷级数，如 $\lim_{x→\infty} f(x)$。

2. **常用常量**  
   - `π`（圆周率）、`e`（自然对数的底，约 2.718）、`i`（虚数单位，$i^2 = -1$）。  
   - 特殊集合：`ℕ`（自然数集）、`ℤ`（整数集）、`ℚ`（有理数集）、`ℝ`（实数集）、`ℂ`（复数集）。

---

## 五、排版与字体符号

代数中不同字体符号代表特定数学对象，需结合 LaTeX 符号理解：
- **黑板粗体**（`\mathbb`）：`𝔸`（仿射空间）、`𝔽`（域）、`ℍ`（四元数体）。  
- **正体粗体**（`\mathbf`）：表示向量或矩阵，如 $\mathbf{A}$ 表示矩阵。  
- **手写体**（`\mathscr` 或 `\mathcal`）：用于范畴论或拓扑空间，如 $\mathscr{C}$ 表示范畴。  
- **希腊字母**：
   - `α, β, γ` 表示角度或系数；
   - `Δ`（变化量，如判别式 $\Delta = b^2-4ac$）；
   - `Σ`（求和）；`λ`（特征值）。