youwen5/alexandria
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

auto-update(nvim): 2025-02-15 12:28:05
Some checks failed
Deploy Quartz site to GitHub Pages using Nix / build (push) Has been cancelled
Details
Deploy Quartz site to GitHub Pages using Nix / deploy (push) Has been cancelled
Details

Browse source
This commit is contained in:
Youwen Wu 2025-02-15 12:28:05 -08:00
parent 3d4a68f1f3
commit c3278a4e6a
Signed by: youwen5
GPG key ID: 865658ED1FE61EC3
1 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
documents/by-name/digression-linear-algebra/main.typ
View file

@ -118,8 +118,7 @@ example once we discuss _basis_.
== Vector addition. Multiplication
Vector addition, represented by $+$, and multiplication, represented by the
$dot$ (dot) operator, can be done entrywise.
Vector addition, represented by $+$ can be done entrywise.
_Example._
@ -325,9 +324,7 @@ RR^2$, and their linear combination $v + w$, a rotation of $gamma$ radians of
1)$, where $PP^n$ is the field of all polynomials of degree at most $n$.
$
dif / (dif x) (
alpha v + beta w
) = alpha dif / (dif x) v + beta dif / (dif x) w, forall v in V, w in W, forall "scalars" alpha, beta
dif / (dif x) ( alpha v + beta w ) = alpha dif / (dif x) v + beta dif / (dif x) w, forall v in V, w in W, forall "scalars" alpha, beta
$
]