Proving the definition of abs. value

  • Thread starter Thread starter cmurphy
  • Start date Start date
  • Tags Tags
    Definition Value
Click For Summary
SUMMARY

The absolute value of a real number x is defined as max {x, -x}. This definition is established based on the property that absolute values are always non-negative. The discussion emphasizes that definitions themselves cannot be proved; rather, they serve as foundational statements from which lemmas, theorems, and propositions can be derived. The distinction between proving a definition and proving a theorem is crucial in mathematical discourse.

PREREQUISITES
  • Understanding of real numbers and their properties
  • Familiarity with mathematical definitions and theorems
  • Basic knowledge of mathematical proofs and logical reasoning
  • Concept of maximum functions in mathematics
NEXT STEPS
  • Study the properties of absolute values in real analysis
  • Explore the differences between definitions, theorems, and proofs in mathematics
  • Learn about lemmas and their role in mathematical arguments
  • Investigate the concept of maximum functions and their applications
USEFUL FOR

Mathematics students, educators, and anyone interested in understanding the foundations of mathematical definitions and proofs.

cmurphy
Messages
29
Reaction score
0
I need to show that the absolute value of x = max {x, -x}. Of course I know this is true, but I must show this. How would I go about doing such a thing?
 
Physics news on Phys.org
The absolute value is always positive, right?
Use that fact.
 
BTW,a definition cannot be proved...

Lemmas,theorems,properties,propositions,corolaries,but not definitions...

Daniel.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
Replies
25
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
20
Views
2K