1. Introduction

The algebraic properties of real numbers (ℝ) are governed by a set of axioms known as the field axioms. These axioms define how addition and multiplication behave and form the basis for all algebraic manipulation in mathematics.

These properties are not just rules to memorize; they are logically consistent principles from which all standard algebraic results are derived.

2. Field Axioms of Real Numbers

Let a, b, c ∈ ℝ. The operations of addition (+) and multiplication (·) satisfy the following axioms:

2.1 Closure Properties

• Addition Closure:
  a + b ∈ ℝ
• Multiplication Closure:
  ab ∈ ℝ

This means ℝ is closed under both operations.

2.2 Associative Laws

• Addition:
  (a + b) + c = a + (b + c)
• Multiplication:
  (ab)c = a(bc)

These allow grouping of terms without affecting the result.

2.3 Commutative Laws

• Addition:
  a + b = b + a
• Multiplication:
  ab = ba

These allow reordering of terms.

2.4 Identity Elements

• Additive Identity:
  There exists 0 ∈ ℝ such that:
  a + 0 = a
• Multiplicative Identity:
  There exists 1 ∈ ℝ, with 1 ≠ 0, such that:
  a · 1 = a

2.5 Inverse Elements

• Additive Inverse:
  For each a ∈ ℝ, there exists −a such that:
  a + (−a) = 0
• Multiplicative Inverse:
  For each a ≠ 0, there exists a⁻¹ such that:
  a · a⁻¹ = 1

2.6 Distributive Law

This connects addition and multiplication:

$a(b+c)=ab+ac$

3. Standard Notation in ℝ

To simplify expressions, we use:

• Subtraction:
  a − b = a + (−b)
• Division:
  a/b = a · b⁻¹ (b ≠ 0)
• Powers:
  aⁿ = a × a × … × a (n times)
  a⁰ = 1
  a⁻ⁿ = 1/aⁿ
• Summation notation:
  ∑ (sum of terms)
• Product notation:
  ∏ (product of terms)

4. Derived Algebraic Properties (Proposition)

Using field axioms, the following important results are derived:

4.1 Uniqueness Properties

• Additive identity (0) is unique
• Multiplicative identity (1) is unique
• Additive inverse (−a) is unique
• Multiplicative inverse (1/a) is unique for a ≠ 0

4.2 Fundamental Results

• a · 0 = 0
• If ab = 0 ⇒ a = 0 or b = 0 (Zero Product Property)
• If ab = ac and a ≠ 0 ⇒ b = c (Cancellation Law)

4.3 Fraction Properties

• a/b = c/d ⇔ ad = bc
• (ab)⁻¹ = a⁻¹ b⁻¹

4.4 Sign Rules

• −(−a) = a
• (−a)b = −(ab)
• (−a)(−b) = ab

5. Logic in Algebraic Proofs

Mathematical statements are often written as:

5.1 Implication (⇒)

• “If p, then q”

5.2 Biconditional (iff)

• “p if and only if q”
• Requires proof in both directions

5.3 Methods of Proof

• Direct Proof: Assume p, derive q
• Indirect Proof: Assume not q, reach contradiction
• Counterexample: To disprove universal statements

Example:
Statement “xy = x + y for all real numbers” is false
Counterexample: x = 1, y = 1

6. Number Systems Overview

• ℕ = {1, 2, 3, …}
• ℤ = {…, −2, −1, 0, 1, 2, …}
• ℚ = {m/n : n ≠ 0}
• Irrationals = ℝ \ ℚ

7. Key Points to Remember

• Field axioms define all algebraic operations in ℝ
• Identities and inverses are unique
• Distributive law links addition and multiplication
• Zero product property is fundamental in solving equations
• Logical reasoning is essential in proofs
•