No real number x such that x<|0| where

  • Context: High School 
  • Thread starter Thread starter SW VandeCarr
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the statement regarding the existence of real numbers x such that x < |0|. Participants explore the implications of absolute values, the properties of the function f(x) = |x|, and the differentiability of this function at x = 0. The conversation includes technical definitions, examples, and challenges to earlier claims, with a focus on the nature of absolute values and square roots.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants express uncertainty about the statement that there is no real number x such that x < |0|, suggesting that |0| = 0 and thus -1 < |0| is a counterexample.
  • Others clarify the definition of absolute value, stating that |a| is defined as a if a ≥ 0 and -a if a < 0.
  • A participant questions the implications of defining |0| and its role as a minimum point in the function f(x) = |x|.
  • Discussion arises about the differentiability of f(x) = |x| at x = 0, with some asserting it is not differentiable there.
  • Several participants compare f(x) = |x| and f(x) = √(x²), noting that while they yield the same results for real x, there are differences in their definitions and behaviors.
  • There are claims about the conventions surrounding square roots, with some arguing that the square root function has two values while others assert that it is defined to return only the principal (positive) root.
  • Participants engage in a meta-discussion about the nature of mathematical definitions and conventions, particularly in the context of real versus complex numbers.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the implications of the original statement regarding x < |0|. There are competing views on the definitions and properties of absolute values and square roots, as well as the differentiability of the function at zero.

Contextual Notes

Some statements rely on specific definitions of functions and properties that may not be universally accepted. The discussion includes various assumptions about the nature of real and complex numbers, as well as the conventions used in mathematical definitions.

SW VandeCarr
Messages
2,199
Reaction score
77
I'm not sure this is a proper statement since zero is not signed. However, I want to say that there is no real number x such that x<|0| where || contains only absolute valued real numbers and zero.
 
Last edited:
Physics news on Phys.org


|a| is defined as a if [tex]a \geq 0[/tex] and -a if a<0
 


Wizlem said:
|a| is defined as a if [tex]a \geq 0[/tex] and -a if a<0

I'm not sure I follow this. If -a=|a| and a=|a| then one could say -a=a which is clearly not true.

I want to say there is no real number x less than |0|.
 


|0| = 0
it is not more complicated than that
 


The statement that there is no real number x such that x < |0| is false. For example, -1 < |0| since, as was pointed out, |0| = 0. Perhaps you meant to write that there is no real number x such that |x| < 0?
 


Petek said:
The statement that there is no real number x such that x < |0| is false. For example, -1 < |0| since, as was pointed out, |0| = 0. Perhaps you meant to write that there is no real number x such that |x| < 0?

No. But |0|=0 does answer my question. So |x|= x, -x unless x=0.

EDIT: So for the function f(x)=|x|, where x is any real number; how do we describe the point f(0)? It is a singular point and clearly is a minimum point. So can we say that f(0) is smaller than any f(x) where x is not 0? I know this was suggested earlier, but given the function f(x)=|x|, then f(0)=|0|, so this in a sense defines |0| in the context of f(x).
 
Last edited:


I'm not sure what you are driving at, but the function

f(x) = mod(x) is bounded below.

The point zero forms the greatest lower bound.

The function is not differentiable at x=0
 


To add some information to the discussion: [tex]-0 = 0[/tex], also [tex]0 \le 0[/tex].
 


SW VandeCarr said:
So |x|= x, -x unless x=0.
A better way to say this is
|x| = x, if x >= 0
|x| = -x, if x < 0

The way you wrote it suggests that |x| has two values, which isn't true.
 
  • #10


Mark44 said:
A better way to say this is
|x| = x, if x >= 0
|x| = -x, if x < 0

The way you wrote it suggests that |x| has two values, which isn't true.

|x| does not have two values. I defined a function f(x)=|x|. For each pair x, -x there exists a unique value of f(x). For x=0 there is a singular point and a minimum on the function f(x) such that f(0)=|0|.

I just wanted to show that while |0|=0, |0| has the property of being a singular point and a minimum on the V shaped function f(x)=|x| while 0 is a nonsingular and not a minimum on the real number line.
 
Last edited:
  • #11


An interesting question for you to consider:

What is the difference between

[tex]\begin{array}{l}<br /> f(x) = |x| \\ <br /> f(x) = \sqrt {{x^2}} \\ <br /> \end{array}[/tex]
 
  • #12


Studiot said:
An interesting question for you to consider:

What is the difference between

[tex]\begin{array}{l}<br /> f(x) = |x| \\ <br /> f(x) = \sqrt {{x^2}} \\ <br /> \end{array}[/tex]

Different functions, but the same result except possibly at f(0). Is [tex]\sqrt 0^{2}[/tex] defined? As you approach zero from the positive side for real x less than 1, the squared values of x are smaller than x. Obviously this pattern cannot hold at x=0.

EDIT: On rethinking this, the ratio [tex]x^{2}/x[/tex] does seem go to zero at the limit so I guess 0*0=0 is valid.
 
Last edited:
  • #13


Studiot said:
An interesting question for you to consider:

What is the difference between

[tex]\begin{array}{l}<br /> f(x) = |x| \\ <br /> f(x) = \sqrt {{x^2}} \\ <br /> \end{array}[/tex]

The only difference I can think of is that the square root function, when applied to a positive real number, has two possible values (one positive and the other negative). The usual convention is to use the positive value. With that convention the two functions have the same value for all reals. If we chose the negative square root, then the functions would not be the same. Is that what you had in mind?
 
  • #14


Petek said:
The only difference I can think of is that the square root function, when applied to a positive real number, has two possible values (one positive and the other negative). The usual convention is to use the positive value. With that convention the two functions have the same value for all reals. If we chose the negative square root, then the functions would not be the same. Is that what you had in mind?

I have to give Studiot credit. It seems we have an X shaped function centered on the origin with the upper half plane having the same V form as f(x)=|x| and the lower half plane also having the same form, but inverted. I completely missed this.
 
Last edited:
  • #15


Sorry I thought I would not need to tell a bunch of mathematical physicists that the positive root only is defined to be the root function.
Don't forget that to qualify as a function f(x) has to be single valued. So we consider the whole graph as two functions stitched together.

The hint about any differences lies in my previous post.

|x| is continuous at 0, but not differentiable there - you cannot draw a tangent.

What about the (positive) root function?
 
  • #16


Are you saying that [itex]\sqrt{x^2}[/itex] is differentiable at x = 0?
 
  • #17


Petek said:
Are you saying that [itex]\sqrt{x^2}[/itex] is differentiable at x = 0?

No, he says it is NOT differentiable in 0.
 
  • #18


Outlined said:
No, he says it is NOT differentiable in 0.

Studiot seems to claim that there's a difference between |x| and [itex]\sqrt{x^2}[/itex]. Perhaps he's just trying to get someone to say that there is no difference.
 
  • #19


Studiot said:
What is the difference between

[tex]\begin{array}{l}<br /> f(x) = |x| \\ <br /> f(x) = \sqrt {{x^2}} \\ <br /> \end{array}[/tex]

When x is real, no difference. When x is complex, much difference.
 
  • #20


g_edgar said:
When x is real, no difference. When x is complex, much difference.

Well, I've been specifying real x throughout this thread.
 
  • #21


|x| is a well defined function. Since the square root has two values, it becomes |x| by convention to take only the positive value.
 
  • #22


mathman said:
|x| is a well defined function. Since the square root has two values, it becomes |x| by convention to take only the positive value.
Oh, dear, mathman. Surely you know better than that. The equation [itex]x^2= a[/itex] has two solutions but only one of them is [itex]\sqrt{x}[/itex]. The square root, like any real valued function, has only one value for each x.
 
  • #23


My little interjection is generating some definite head scratching and good discussion.

I'm glad I didn't just pontificate.

:wink:
 
  • #24
If we're nitpicking, then I want to nitpick this:

Outlined said:
To add some information to the discussion: [tex]-0 = 0[/tex]

Except in computer floating point arithmetic! ^_^
 
  • #25


Coin said:
If we're nitpicking, then I want to nitpick this:



Except in computer floating point arithmetic! ^_^
Sure, but those aren't real numbers. (or complex numbers!)
 
  • #26


Coin said:
Except in computer floating point arithmetic! ^_^

That depends on what the meaning of "is" is. They do compare as equal...
 
  • #27


HallsofIvy said:
Oh, dear, mathman. Surely you know better than that. The equation [itex]x^2= a[/itex] has two solutions but only one of them is [itex]\sqrt{x}[/itex]. The square root, like any real valued function, has only one value for each x.
Basically you are saying that [itex]\sqrt{x}[/itex] is always the positive value for positive x. All I am asserting is that it is by convention. For other x (negative or complex) there is no convention, so both roots are equally valid.
 
  • #28


mathman said:
Basically you are saying that [itex]\sqrt{x}[/itex] is always the positive value for positive x.
Nonnegative.

All I am asserting is that it is by convention. For other x (negative or complex) there is no convention, so both roots are equally valid.
Actually, there is a convention -- the principal square root, I think, is the first or fourth quadrant. (the positive imaginary axis, for the square roots of negative numbers)

All square roots of a number are "equally valid" square roots, even the negative square root of a positive number, for what seems to me to be the natural interpretation of those English words.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 24 ·
Replies
24
Views
7K
Replies
48
Views
6K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 55 ·
2
Replies
55
Views
8K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
1K