- #1

- 217

- 1

Is the tangents function tan(x) continuous when x = 90 degrees or x = pi/2?

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter johann1301
- Start date

- #1

- 217

- 1

Is the tangents function tan(x) continuous when x = 90 degrees or x = pi/2?

- #2

- 137

- 5

No, it isn't.

- #3

- 217

- 1

because it isn't defined at that point?

- #4

Mark44

Mentor

- 35,052

- 6,791

Correct. The domain of tan(x) doesn't include odd multiples of π/2.because it isn't defined at that point?

- #5

- 217

- 1

- #6

Mark44

Mentor

- 35,052

- 6,791

- #7

- 217

- 1

Thanks!

- #8

HallsofIvy

Science Advisor

Homework Helper

- 41,833

- 964

"A function, f, is continuous at x= a if and only if these three conditions are satisified:

1) f(a) exists (f is defined at x= a)

2) [itex]\lim_{x\to a} f(x)[/itex] exists

3) [itex]\lim_{x\to a} f(x)= f(a)[/itex]

Since (3) certainly implies that the left and right sides of the equation exist, often we just state (3) alone. But it is part of the definition of "continuous" that f is defined at x= a.

- #9

- 217

- 1

definitionof "continuous" at a give point? It is

"A function, f, is continuous at x= a if and only if these three conditions are satisified:

1) f(a) exists (f is defined at x= a)

2) [itex]\lim_{x\to a} f(x)[/itex] exists

3) [itex]\lim_{x\to a} f(x)= f(a)[/itex]

Since (3) certainly implies that the left and right sides of the equation exist, often we just state (3) alone. But it is part of the definition of "continuous" that f is defined at x= a.

Ok, this makes sense, but what about epsilon and delta argumentation? Is that another definition?

- #10

- 33

- 3

Ok, this makes sense, but what about epsilon and delta argumentation? Is that another definition?

Yes, you can define continuity in several different ways that are (mostly) equivalent. None of them has a function being continuous at a point in which it doesn't exist.

- #11

- 2,018

- 291

Ok, this makes sense, but what about epsilon and delta argumentation? Is that another definition?

No. That's just used in the definition of a limit, wich is used in the definition of a continuous function.

- #12

- 33

- 3

No. That's just used in the definition of a limit, wich is used in the definition of a continuous function.

That's not necessarily correct, the Weierstrass definition can be used on its own without requiring you to define limits. But even if you define both they need not necessarily correspond, some authors will for instance define them slightly different and then give the "[itex]\lim_{x \to c} f(x) = f(c)[/itex] iff f continuous at c" as a theorem for limit points only (at least my analysis textbook did so). At the end of the day it doesn't make much difference of course, but it's still something to keep in mind.

Last edited:

- #13

- 33

- 3

The difference is small but relevant, define [itex]f \subseteq \{ p \} \times \mathbb{R} = \{ (p, f(p)) \}[/itex]. Then the limit at p doesn't exist yet f is continuous at p.

- #14

- 529

- 28

The difference is small but relevant, define [itex]f \subseteq \{ p \} \times \mathbb{R} = \{ (p, f(p)) \}[/itex]. Then the limit at p doesn't exist yet f is continuous at p.

Unless I misunderstand what you are saying, this is not an error. For a continuous function ##|x-c|<\delta## is used because the ##\epsilon##-##\delta## relationship must hold when ##x=c##. For a limit ##0<|x-c|<\delta## because the value of ##f(c)## is unimportant (not even required to exist).

If the limit doesn't exist, then there is some ##\epsilon>0## such that no corresponding ##\delta## can be found. If this is the case, it will still be the case when the restriction that ##0<|x-c|## is included. Of course ##\delta>0##. If not, then every point of a function would be continuous.

- #15

- 33

- 3

Unless I misunderstand what you are saying, this is not an error.

It is not an error by itself, but using these ways of defining it means that [itex]\lim_{x \to c} f(x) = f(c)[/itex] iff f continuous at c is not a theorem unless restricted to limit points.

The function provided above was intended as a counter-example. It is continuous since for all strictly positive [itex]\epsilon[/itex] there exists a strictly positive [itex]\delta[/itex] such that for all [itex]x \in \{ p \}[/itex] it is true that

[itex]|x - p| < \delta \Rightarrow |f(x) - f(p)| < \epsilon[/itex] which, since the only element of [itex]\{ p \}[/itex] is p itself boils down to

[itex]0 < \delta \Rightarrow 0 < \epsilon[/itex] which is true by definition of [itex]\epsilon, \delta[/itex].

That the function does not have a limit at p can be seen by that, as you say, it doesn't depend on f(p) but f(p) is all you have to base it on. Or more formally, no (non-empty) punctured neighbourhoods of p exist.

- #16

- 529

- 28

The theorem could be stated as ##f:U\rightarrow\mathbb{R}## with ##U## open instead of referring directly to limit points (I think open sets would save the day).

- #17

- 33

- 3

That's certainly correct. I wasn't paying enough attention. Thank you for pointing out my mistake.

You're welcome, but i wouldn't really call it a mistake. I was just trying to point out that the answer to the question whether they are different definitions is indeed yes, they are almost equivalent but not completely. In the end, as long as you're aware of the precise consequences, it's mostly personal preference as to how exactly you define continuity.

The theorem could be stated as ##f:U\rightarrow\mathbb{R}## with ##U## open instead of referring directly to limit points (I think open sets would save the day).

But is ##\{p\}## an open set? It seems impossible for it not to be. Are you thinking of an open interval (of real numbers)? Or are you thinking of some other larger space in which you consider ##\{ p \}## not to be an open set?

Last edited:

Share:

- Replies
- 2

- Views
- 4K