Rank
Logic
Propositional logic
Predicate-Logic
Set
Set
Set operation
Binary relation and Map
Equivalence relation
Ordered set
Wellordered set
Axiom of Choice
Cardinality
Topology
Topology
Topological space
Continuous map
Compact
Separation axioms
Metric-space
Convergence
Linear algebra
Linear space
Product space
Basis
Orthogonal system
Linear operator
Determinant
Elementary matrix
Rank
Eigenspace
Nomal matrix
Group
Group
Subgroup
Cyclic group
Symmetric group
Quotient group
Homomorphism
Cartesian product
Group action
Real analysis
Convergence of real sequence
Convergence theorem1
Convergence of real series
Convergence of real function
Convergence theorem2
Measure theory
Finitely additive measure
Outer measure
Measure space
Back
en
ja
Echelon form
λ
i
=
M
in
{
k
∣
a
ik
=
0
}
A
is in Echelon form:
λ
1
>
λ
2
>
⋯
∧
∀
i
(
a
i
λ
i
=
1
)
Corollary
A
becomes in echelon form by repeating the transformation by elementary matrices
Rank
r
ank
f
:=
d
im
(
I
m
f
)
r
ank
A
:=
r
ank
f
Corollary
r
ank
A
is a maximum number of linear independent in column vectors
a
1
,
...
,
a
n
of
A
Corollary
r
ank
A
T
=
r
ank
A
Corollary
r
ank
A
:
number of non zero vector of column vectors
Echelon form
Corollary
Rank
Corollary
Corollary
Corollary