Real Analysis-2
Real Analysis-2
1
H H S R Samarasiri, PhD, Department of Mathematics, University of Moratuwa, Sri Lanka
Last updated: 05/23/2023 23:45
Real Analysis – MA1014 - 2022 Batch
Proof: Exercise
Definition 1.1.2: The operations subtraction and division are defined as follows:
∀𝑎, 𝑏 ∈ ℝ ,
𝑎 − 𝑏 ≔ 𝑎 + (−𝑏)
𝑎
if 𝑏 ≠ 0, 𝑏 ∶= 𝑎 ⋅ 𝑏 −1 .
Definition 1.1.3:
2
H H S R Samarasiri, PhD, Department of Mathematics, University of Moratuwa, Sri Lanka
Last updated: 05/23/2023 23:45
Real Analysis – MA1014 - 2022 Batch
Theorem 1.1.2:
Proof is omitted.
Definition 1.1.4:
Further it is customary to consider 𝑏 > 𝑎 to be the same as 𝑎 < 𝑏 and we also write 𝑎 ≤ 𝑏 to
mean 𝑎 < 𝑏 𝑜𝑟 𝑎 = 𝑏 .
3
H H S R Samarasiri, PhD, Department of Mathematics, University of Moratuwa, Sri Lanka
Last updated: 05/23/2023 23:45
Real Analysis – MA1014 - 2022 Batch
Theorem 1.2.1:
3. Given 𝑢 ∈ ℝ, we say that 𝑢 is the maximum element of 𝐴, iff 𝐴 is bounded above by 𝑢 and
𝑢 ∈ 𝐴.
6. Given 𝑙 ∈ ℝ, we say that 𝑙 is the minimum element of 𝐴, iff 𝐴 is bounded below by 𝑙 and
𝑙 ∈ 𝐴.
4
H H S R Samarasiri, PhD, Department of Mathematics, University of Moratuwa, Sri Lanka
Last updated: 05/23/2023 23:45
Real Analysis – MA1014 - 2022 Batch
Theorem 1.3.2: Let 𝐴 ⊆ ℝ be non-empty and bounded below, then the set of lower bounds has
a greatest element, which we call infimum of 𝐴 and is denoted as inf(𝐴).
Proof: Will be done in class.
Proof is an exercise.
5
H H S R Samarasiri, PhD, Department of Mathematics, University of Moratuwa, Sri Lanka
Last updated: 05/23/2023 23:45
Real Analysis – MA1014 - 2022 Batch
Exercises
1. Prove 𝑠𝑢𝑝(𝑎, 𝑏) = 𝑏 , 𝑖𝑛𝑓(𝑎, 𝑏) = 𝑎
2. For any non-empty subsets 𝐴, 𝐵 of ℝ that are bounded above,
6
H H S R Samarasiri, PhD, Department of Mathematics, University of Moratuwa, Sri Lanka
Last updated: 05/23/2023 23:45