Is the Function f(x) = e^[x] Continuous?

  • Context: Undergrad 
  • Thread starter Thread starter Benny
  • Start date Start date
  • Tags Tags
    Continuous Function
Click For Summary

Discussion Overview

The discussion centers on the continuity of the function f(x) = e^[x], where [x] denotes the greatest integer less than or equal to x. Participants explore the implications of this function's definition on its continuity at various points, particularly at integer values.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant questions the continuity of the function, noting that it appears to behave like a sequence and wonders about the limits at points such as x = 3 and x = 2.5.
  • Another participant presents a sequence argument to suggest that f is discontinuous at x = 1, indicating that if f were continuous, it would lead to a contradiction.
  • A different participant clarifies that the graph of the function is a step function, similar to the graph of g(x) = [x], and prompts others to consider left and right-handed limits at integers.
  • One participant discusses the formal definition of continuity and provides examples of sequences converging to integers, illustrating differing behaviors in limits.
  • There is a request for assistance on how to express in LaTeX that a limit does not approach a certain value.
  • A participant suggests that a more interesting function to consider might be e^(2πi[x]).

Areas of Agreement / Disagreement

Participants express differing views on the continuity of the function, with some arguing for its discontinuity based on limit behavior, while others explore the implications of its step function nature. No consensus is reached regarding the overall continuity of the function.

Contextual Notes

Limitations include the dependence on the definition of continuity and the behavior of limits at integer values, which remain unresolved in the discussion.

Benny
Messages
577
Reaction score
0
Is this function continuous? Edit: Fixed - function should load now

[tex] f\left( x \right) = e^{\left[ x \right]} [/tex]


Where the argument of the exponential is the greatest integer less than or equal to x.

For the function to be continuous at a point x = a we need [tex]\mathop {\lim }\limits_{x \to a} f(x) = f(a)[/tex]. For this particular function, f(x) at x = a is just f(a) where a is an integer? But what about the limit? As far as I can see this function is like a sequence so that if I looked at the graph I would just see some dots. Is it possible to take any limits with this function? For example, can I actually take lim(x->3)f(x) and get a finite value? Further, could I take lim(x->2.5)f(x) for this particular function. Any help appreciated.

Edit: Fixed f(x)...it should look right now.
 
Last edited:
Physics news on Phys.org
Take a sequence x_n in (0, 1) with x_n -> 1. If f was continuous (at 1), then f(x_n) -> f(1) = e, but [x_n] = 0, i.e. f(x_n) = e^0 = 1 -> 1. Contradiction.

Surely a similar argument can show that f is discontinuous everywhere.
 
Last edited:
Benny said:
As far as I can see this function is like a sequence so that if I looked at the graph I would just see some dots. Is it possible to take any limits with this function?

The graph isn't "dots" it's a step function. You know what the graph of g(x)=[x] looks like? Similar thing. For limits (and continuity) can you answer these questions about g(x)=[x]? (consider left and right handed limits separately at integers)
 
let [tex]X\subseteq\Re[/tex], [tex]f: X\longrightarrow\Re[/tex] and [tex]x_{0}\in X[/tex] where X is the domain of the function, then f is continuous at [tex]x_{0}[/tex] if [tex]\forall x_{n}\in X[/tex],[tex]x_{n}\longrightarrow x_{0}[/tex] and [tex]f(x_{n})\longrightarrow f(x_{0})[/tex], you will see that if you choose a sequence on the interval [1,2] that converges to the intiger 2 for example [tex]{x_{n}}={2-\frac{1}{n}[/tex] which gives [tex]f(x_{n})\longrightarrow f(2)[/tex], but a sequence on the interval [2,3] which converges to 2 for example [tex]{x_{n}}={2+\frac{1}{n}[/tex] gives [tex]f(x_{n})\neq>f(2)[/tex]

does anybody know how to show something does not approach something else on latex?
 
Last edited:
steven187 said:
does anybody know how to show something does not approach something else on latex?

[tex]\lim_{a \rightarrow b} f(a) \neq c[/tex]

Hackish:
[tex]f(x)\not{\rightarrow}f(y)[/tex]
 
Last edited:
a more interesting function would be e^(2pi)i[x]
 
Thanks for the help guys.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 17 ·
Replies
17
Views
5K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 36 ·
2
Replies
36
Views
7K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K