Skip to content

Commit

Permalink
motify
Browse files Browse the repository at this point in the history
  • Loading branch information
WHY-Op109 committed Nov 5, 2023
1 parent b6ddcce commit a3dd791
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -131,7 +131,7 @@ $$

`Claim`: $$B$$ is a basis of $$V$$.

`Proof of Claim`: Since $$|B| = n = \dim V$$, it is enough to show that $$B$$ is linearly independent. Suppose there is a linear relation on the vector in $$B$$, and we write it as
`Proof of Claim`: Since $$|B| = n = \dime V$$, it is enough to show that $$B$$ is linearly independent. Suppose there is a linear relation on the vector in $$B$$, and we write it as

$$
\sum_{a \in B_1} \alpha_0 a + \sum_{a \in B_2} \alpha_1 b + \dots + \sum_{a \in B_r} \alpha_{r-1} z = 0
Expand Down

0 comments on commit a3dd791

Please sign in to comment.