Cub11k's BIU Notes
Cub11k's BIU Notes
Assignments
Discrete-math
Discrete-math 1
Discrete-math 10
Discrete-math 11
Discrete-math 12
Discrete-math 2
Discrete-math 3
Discrete-math 4
Discrete-math 5
Discrete-math 6
Discrete-math 7
Discrete-math 8
Discrete-math 9
Infi-1
Infi-1 10
Infi-1 11
Infi-1 2
Infi-1 3
Infi-1 4
Infi-1 5
Infi-1 6
Infi-1 7
Infi-1 8
Infi-1 9
Linear-1
Linear-1 1
Linear-1 10
Linear-1 11
Linear-1 12
Linear-1 2
Linear-1 3
Linear-1 4
Linear-1 5
Linear-1 6
Linear-1 7
Linear-1 8
Linear-1 9
Linear-2
Linear-2 1
Lectures
Data-structures
Data-structures 1
Data-structures 2
Data-structures 3
Discrete-math
Discrete-math 10
Discrete-math 11
Discrete-math 12
Discrete-math 13
Discrete-math 14
Discrete-math 15
Discrete-math 16
Discrete-math 18
Discrete-math 19
Discrete-math 20
Discrete-math 21
Discrete-math 22
Discrete-math 23
Discrete-math 24
Discrete-math 25
Discrete-math 26
Discrete-math 3
Discrete-math 4
Discrete-math 5
Discrete-math 6
Discrete-math 7
Discrete-math 8
Discrete-math 9
Exam 2023 (2A)
Exam 2023 (2B)
Exam 2023 (A)
Exam 2023 (B)
Exam 2023 (C)
Exam 2024 (A)
Exam 2024 (B)
Exam 2024 (C)
Midterm
Infi-1
Exam 2022B (A)
Exam 2022B (B)
Exam 2023B (A)
Exam 2023B (B)
Exam 2024 (A)
Exam 2024 (B)
Exam 2025 (A)
Infi-1 10
Infi-1 12
Infi-1 13
Infi-1 14
Infi-1 15
Infi-1 16
Infi-1 17
Infi-1 19
Infi-1 20
Infi-1 21
Infi-1 22
Infi-1 23
Infi-1 24
Infi-1 25
Infi-1 26
Infi-1 5
Infi-1 6
Infi-1 7
Infi-1 9
Midterm
Theorems and proofs
Infi-2
Infi-2 1
Infi-2 10
Infi-2 11
Infi-2 12
Infi-2 13
Infi-2 14
Infi-2 15
Infi-2 16
Infi-2 17
Infi-2 2-3
Infi-2 3-4
Infi-2 5
Infi-2 6
Infi-2 7
Infi-2 8
Infi-2 9
Linear-1
Exam 2023 (B)
Exam 2023 (C)
Exam 2024 (A)
Exam 2024 (B)
Exam 2024 (C)
Exam 2025 (A)
Linear-1 11
Linear-1 12
Linear-1 13
Linear-1 4
Linear-1 5
Linear-1 6
Linear-1 7
Linear-1 8
Linear-1 9
Midterm
Random exams
Theorems and proofs
Linear-2
Linear-2 1
Linear-2 2
Linear-2 3
Linear-2 4
Linear-2 5
Linear-2 6
Linear-2 7
Linear-2 8
Seminars
CSI
CSI 2
Data-structures
Data-structures 1
Data-structures 2
Data-structures 3
Discrete-math
Discrete-math 1
Discrete-math 10
Discrete-math 11
Discrete-math 12
Discrete-math 2
Discrete-math 3
Discrete-math 4
Discrete-math 5
Discrete-math 6
Discrete-math 7
Discrete-math 8
Discrete-math 9
Infi-1
Infi-1 10
Infi-1 11
Infi-1 12
Infi-1 13
Infi-1 3
Infi-1 4
Infi-1 5
Infi-1 6
Infi-1 8
Infi-2
Infi-2 1
Infi-2 2
Infi-2 3
Infi-2 4
Infi-2 6
Infi-2 7
Infi-2 8
Linear-1
Linear-1 10
Linear-1 11
Linear-1 12
Linear-1 3
Linear-1 5
Linear-1 6
Linear-1 7
Linear-1 8
Linear-1 9
Linear-2
Linear-2 1
Linear-2 2
Linear-2 3
Linear-2 4
Linear-2 5
Linear-2 6
Linear-2 7
Templates
Lecture Template
Seminar Template
Home
Linear-2 7
Inner product
#definition
Let
V
be a vector space over
F
(
F
∈
{
R
,
C
}
)
⟨
,
⟩
:
V
×
V
→
F
is called inner product if
1.
Linearity in the first argument:
⟨
v
+
α
u
,
w
⟩
=
⟨
v
,
w
⟩
+
α
⟨
u
,
w
⟩
2.
Conjugate symmetry (Hermitian):
⟨
v
,
u
⟩
=
⟨
u
,
v
⟩
―
3.
Positive-definiteness:
∀
v
≠
0
:
⟨
v
,
v
⟩
>
0
3.1
v
=
0
⟺
⟨
v
,
v
⟩
=
0
V
is then called an inner product space
Standard inner product
Let
V
=
R
n
Standard inner product is
⟨
v
,
u
⟩
=
v
T
u
=
∑
i
=
1
n
v
i
u
i
⟨
v
+
α
u
,
w
⟩
=
(
v
+
α
u
)
T
w
=
v
T
w
+
α
u
T
w
=
⟨
v
,
w
⟩
+
α
⟨
u
,
w
⟩
⟨
v
,
w
⟩
=
v
T
w
=
(
v
T
w
)
T
=
w
T
v
=
w
T
v
―
=
⟨
w
,
v
⟩
―
v
≠
0
⟹
⟨
v
,
v
⟩
=
v
T
v
=
∑
i
=
1
n
v
i
2
>
0
v
=
0
⟺
∑
i
=
1
n
v
i
2
=
0
⟺
v
T
v
=
0
⟺
⟨
v
,
v
⟩
=
0
Let
V
=
C
n
Standard inner product is
⟨
v
,
u
⟩
=
v
T
u
―
=
∑
i
=
1
n
v
i
u
i
―
Let
V
∈
F
n
×
n
Standard inner product is
⟨
A
,
B
⟩
=
t
r
(
A
B
∗
)
=
t
r
(
A
B
―
T
)
Properties of inner product
#lemma
∀
v
∈
V
:
⟨
0
V
,
v
⟩
=
⟨
0
F
⋅
0
V
,
v
⟩
=
0
F
⋅
⟨
0
V
,
v
⟩
=
0
F
∀
v
∈
V
:
⟨
v
,
0
V
⟩
=
⟨
0
V
,
v
⟩
―
=
⟨
0
V
,
v
⟩
=
0
F
⟨
v
,
w
+
α
u
⟩
=
⟨
w
+
α
u
,
v
⟩
―
=
⟨
w
,
v
⟩
―
+
α
―
⋅
⟨
u
,
v
⟩
―
=
⟨
v
,
w
⟩
―
―
+
α
―
⋅
⟨
v
,
u
⟩
―
―
=
=
⟨
v
,
w
⟩
+
α
―
⋅
⟨
v
,
u
⟩
Zero inner product
#lemma
Let
v
∈
V
:
∀
u
∈
V
:
⟨
v
,
u
⟩
=
0
Then
v
=
0
Proof:
∀
u
∈
V
:
⟨
v
,
u
⟩
=
0
⟹
⟨
v
,
v
⟩
=
0
⟹
v
=
0
Norm
#definition
Let
V
over
F
‖
‖
:
V
×
V
→
F
is called a norm if
1.
v
≠
0
⟹
‖
v
‖
>
0
2.
v
=
0
⟺
‖
v
‖
=
0
3.
‖
α
v
‖
=
|
α
|
⋅
‖
v
‖
4.
‖
v
+
u
‖
≤
‖
v
‖
+
‖
u
‖
"Root" norm
#definition
∀
v
∈
V
:
‖
v
‖
=
⟨
v
,
v
⟩
This norm will be used throughout the course
Metric
#definition
p
:
V
×
V
→
R
is called a metric if
1.
p
(
v
,
u
)
≥
0
2.
v
=
u
⟺
p
(
v
,
u
)
=
0
3.
p
(
v
,
u
)
=
p
(
u
,
v
)
4.
p
(
v
,
u
)
≤
(
p
,
w
)
+
p
(
w
,
u
)
Standard metric
∀
v
,
u
∈
V
:
p
(
v
,
u
)
=
‖
v
−
u
‖
Orthogonal vectors
#definition
v
,
u
are called orthogonal iff
⟨
v
,
u
⟩
=
0
Orthogonal set
#definition
Let
S
⊆
V
S
is called orthogonal set iff
∀
v
,
u
∈
S
:
⟨
v
,
u
⟩
=
0
Normal vector
#definition
v
is called normal iff
‖
v
‖
=
1
Orthonormal set
#definition
Let
S
⊆
V
be a orthogonal set
S
is then called orthonormal iff
∀
v
∈
S
:
‖
v
‖
=
1