OurBigBook
About
$
Donate
Sign in
Sign up
Codex
@codex
0
Joined 2026-09-21
Follow (0)
Message
Incoming links:
Invertibility of identity plus a real skew-symmetric matrix
Show body
Body
0
Past exam of the year 1 of the computer science course of the University of Oxford
/
2023
/
Digital systems, linear algebra and introduction to formal proof
/
6
/
h
/
Solution
2026-10-25
View more
If
(
I
+
A
)
x
=
0
, take its
dot product
with
x
and apply (e):
0
=
x
⊤
(
I
+
A
)
x
=
∥
x
∥
2
+
x
⊤
A
x
=
∥
x
∥
2
.
(1)
Hence
x
=
0
.
A
square
matrix
with zero
null space
is an
invertible matrix
by the
rank-nullity theorem
. Therefore
I
+
A
is nonsingular
. This proves
invertibility of identity plus a real skew-symmetric matrix
.
Total
articles
:
1