Fix alignment with list(workaround)

Signed-off-by: szdytom <szdytom@qq.com>
This commit is contained in:
方而静 2025-07-12 00:20:39 +08:00
parent d35ed73ae7
commit 164857aea7
Signed by: szTom
GPG Key ID: 072D999D60C6473C
3 changed files with 7 additions and 6 deletions

View File

@ -1,4 +1,5 @@
#let ee = "e"
#let ii = "i"
#let span = $op("span")$
#let Poly = math.cal("P")
#let Poly = math.cal("P")
#let complexification(vv) = $vv_upright(C)$

View File

@ -1,5 +1,5 @@
#import "../styles.typ": exercise_sol, note, tab
#import "../math.typ": ii
#import "../math.typ": ii, complexification
#exercise_sol(type: "proof")[
证明:$-(-v)=v$ 对任一 $v in V$ 都成立。
@ -143,15 +143,15 @@
#tab 综上所述,$V^S$ 满足向量空间的所有要求,因此 $V^S$ $FF$ 上的向量空间。
]
#let complexification(vv) = $vv_upright(C)$
#exercise_sol(type: "proof")[
$V$ 是实向量空间。
- $V$ *复化complexification*记为 $complexification(V)$,等于 $V times V$$complexification(V)$ 中的所有元素为有序对 $(u,v)$,其中 $u,v in V$,不过我们将其记作 $u + ii v$
- $complexification(V)$ 上的加法定义为
$ (u_1 + ii v_1) + (u_2 + ii v_2) = (u_1 + u_2) + ii (v_1 + v_2) $
对所有 $u_1,v_1,u_2,v_2 in V$ 都成立。
- $complexification(V)$ 上的标量乘法定义为
$ (a + b ii)(u + ii v) = (a u - b v) + ii (a v + b u) $
对所有 $a,b in RR$ 和所有 $u,v in V$ 都成立。

View File

@ -117,7 +117,7 @@
#note[对于 (g)值得一提的是上面证明的核心部分表明多项式的系数是唯一的。这个巧妙的证明来自原书第三版的正文定理4.7然而在第四版中被删除了取而代之的是不那么直接的原书定理4.8。]
#exercise_sol(type: "answer")[
+ $U$ $RR^5$ 的子空间,定义为
+ $U$ $RR^5$ 的子空间,定义为#h(1fr) //https://github.com/typst/typst/issues/529
$ U = {(x_1, x_2, x_3, x_4, x_5) in RR^5 : x_1 = 3x_2 and x_3 = 7x_4} $
$U$ 的一个基;
@ -185,7 +185,7 @@
]
#exercise_sol(type: "answer")[
+ $U$ $CC^5$ 的子空间,定义为
+ $U$ $CC^5$ 的子空间,定义为#h(1fr) //https://github.com/typst/typst/issues/529
$ U = {(z_1, z_2, z_3, z_4, z_5) in CC^5 : 6z_1 = z_2 and z_3 + 2z_4 + 3z_5 = 0} $
$U$ 的一个基;