Limits of functions and sequences

  • #1
Hello there.Is there any function or sequence that has no limits at any point? I am not necessarily talking about functions on euclidean spaces, they could be on topological spaces in general.Also, we have homeomorphism that is about I think mostly continuity, diffeomorphism about differentiation could we define a function that allows for a function to have limits at points? Thank you.
 

Answers and Replies

  • #2
anuttarasammyak
Gold Member
443
197
Let f(x)=1 if x is rational number, 0 if x is irrational number.
For any real number x, f(x) is 0 or 1 but lim ##x\rightarrow a## f(x) does not exist for any real number a.
 
  • Like
Likes Delta2 and WWGD
  • #3
Thank you.So, we could define a function that allows for having limits in functions of a mathematical space?But I thought of something, topological spaces have open sets, so they allow limits on functions?Is this incorrect?
 
  • #4
anuttarasammyak
Gold Member
443
197
Ordinary functions, e.g. f(x)=1,f(x)=sin x, are continuous and have limits at any point. Maybe I do not catch you correctly.
 
  • #5
And what about functions that are not continuous?Could they not have limits on any point?Like the one you said before?
 
  • #6
anuttarasammyak
Gold Member
443
197
If there is a discontinuity, no limit exists on that point.
 
  • #8
Stephen Tashi
Science Advisor
7,459
1,410
If there is a discontinuity, no limit exists on that point.
That's true of the specific function in post #2. However, in general, if ##f(x)## is discontinuous at ##x = a## then it is possible for ##\lim_{x \rightarrow a} f(x) = L ## to exist. The fact ##f(x)## is discontinuous at ##x = a## only says that ##L \ne f(a)##.
 
  • Like
Likes Delta2, WWGD and anuttarasammyak
  • #9
anuttarasammyak
Gold Member
443
197
For an example
f(x)=1 for x ##\neq## 0, 0 for x=0
f(0)=0
lim ##x \rightarrow 0## f(x)=1
 
  • #10
As I know a limit is more general than a function being continuous at a point. If there are more functions that have discontinuity and have limits but others that have discontinuity but do not have limits then perhaps a function that allows for a function to have limits at points could be useful and have applications. What do you say? Something else I wanted to say is that on topological spaces some sequences may have more than one limit.Are there theorems about the number of those limits?Or when there is only one limit of the sequence? Thank you.
 
  • #11
anuttarasammyak
Gold Member
443
197
For your possible interest say function f(x) have finite points of discontinuities at ##x=a_i##, ##i=1,2,...## as
[tex] \lim_{x\rightarrow a_i-0}f(x)=b_{i-}[/tex]
[tex] \lim_{x\rightarrow a_i+0}f(x)=b_{i+}[/tex]
[tex]f(a_i) =b_i[/tex]
Except the points of discontinuity the function is expressed by Fourier integrals whose value at the discontinuities are
[tex]f(a_i)=\frac{b_{i+} +b_{i-}}{2} [/tex]
As an example of function in post #9, Fourier integral function is f(x)=1 for any x.
 
  • #12
34,288
5,925
Something else I wanted to say is that on topological spaces some sequences may have more than one limit.
It's been decades since I studied anything to do with topological spaces, but I don't recall anything about sequences having more than one limit. It's possible for a sequence to have subsequences that each have their own limit. For example, ##s_n = \{(-1)^n\}, n = 1, ..., \infty## is a divergent sequence, but one subsequence converges to 1, and the other converges to -1.
 
  • #13
PeroK
Science Advisor
Homework Helper
Insights Author
Gold Member
15,034
7,214
It's been decades since I studied anything to do with topological spaces, but I don't recall anything about sequences having more than one limit. It's possible for a sequence to have subsequences that each have their own limit. For example, ##s_n = \{(-1)^n\}, n = 1, ..., \infty## is a divergent sequence, but one subsequence converges to 1, and the other converges to -1.
In the trivial topology of the universal set itself and the empty set all sequences converge to all points.
 
  • Like
Likes S.G. Janssens
  • #14
S.G. Janssens
Science Advisor
Education Advisor
929
703
In general topological spaces, it is often more useful to work with nets, also known as Moore–Smith sequences, although they are not sequences, but rather generalizations thereof.

I say it is "more useful", because the well-known characterizations of e.g. continuity and compactness in terms of sequences break down in general topological spaces, but they do hold in terms of nets.

Regarding the question about sequences having more than one limit, the extreme example is indeed as in post #13. There is a theorem that says that every net has at most one limit if and only if the topological space is Hausdorff. (Intuitively, being Hausdorff means that the space has enough open subsets.)

You can find elaborations of this in most books (with a good chapter) on point-set topology. If specific references are needed, let me know.
 
  • Like
Likes PeroK
  • #15
Svein
Science Advisor
Insights Author
2,122
679
It's been decades since I studied anything to do with topological spaces, but I don't recall anything about sequences having more than one limit.
No, but a sequence can have one or more cluster points. A sequence has a limit iff it has one and only one cluster point.
 
  • #16
S.G. Janssens
Science Advisor
Education Advisor
929
703
A sequence has a limit iff it has one and only one cluster point.
In general topological spaces this need not be true. Post #13 is a counterexample for this, as well.

More specifically,
##\Longrightarrow## need not be true in general topological spaces.
##\Longleftarrow## need not be true even in metric spaces.
 
Last edited:
  • #17
mathwonk
Science Advisor
Homework Helper
11,058
1,247
You have made me realize another odd fact about the zariski topology that we use in algebraic geometry. On any affine space, say the real line, zariski closed sets are zero loci of polynomials, hence either the whole line, or finite sets. Hence every sequence consisting of distinct points, converges in this topology to every point of the line. Needless to say we don't use sequences much in this topology.
 
  • Like
Likes S.G. Janssens
  • #18
S.G. Janssens
Science Advisor
Education Advisor
929
703
You have made me realize another odd fact about the zariski topology that we use in algebraic geometry. On any affine space, say the real line, zariski closed sets are zero loci of polynomials, hence either the whole line, or finite sets. Hence every sequence consisting of distinct points, converges in this topology to every point of the line. Needless to say we don't use sequences much in this topology.
Yes, it has been my understanding that Zariski topology is one of the motivations in some textbooks to not restrict attention to Hausdorff spaces too early in the course.
 
  • #19
WWGD
Science Advisor
Gold Member
2019 Award
5,410
3,486
As I know a limit is more general than a function being continuous at a point. If there are more functions that have discontinuity and have limits but others that have discontinuity but do not have limits then perhaps a function that allows for a function to have limits at points could be useful and have applications. What do you say? Something else I wanted to say is that on topological spaces some sequences may have more than one limit.Are there theorems about the number of those limits?Or when there is only one limit of the sequence? Thank you.
In a Hausdorff topological space, sequences or nets may converge to only one limit . Otherwise, you can have as many limit points as you wish ( countably-infinite, I believe), by unioning sequences with different limits. The LimSup, LimInf of a sequence will output the largest and smallest limit points of the sequence respectively. If the two are equal to , say, L, then the sequence converges to L.
 
  • #20
mathwonk
Science Advisor
Homework Helper
11,058
1,247
Indeed in scheme theoretic algebraic geometry the Zariski topology on a scheme is not even T1, much less T2 (Hausdorff). I.e. points need not be closed, and on an irreducible scheme say, there is even a "dense" point, whose closure is the whole scheme, and which thus lies in every non empty open set. In the more classical setting of algebraic varieties, points are closed, i.e. classical varieties are T1, but Hausdorffness still fails as in the example in post #17 above.
 
  • #21
WWGD
Science Advisor
Gold Member
2019 Award
5,410
3,486
You have made me realize another odd fact about the zariski topology that we use in algebraic geometry. On any affine space, say the real line, zariski closed sets are zero loci of polynomials, hence either the whole line, or finite sets. Hence every sequence consisting of distinct points, converges in this topology to every point of the line. Needless to say we don't use sequences much in this topology.
I don't see why sequences converge to every point on the line?
 
  • #22
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
3,999
218
In a Hausdorff topological space, sequences or nets may converge to only one limit . Otherwise, you can have as many limit points as you wish ( countably-infinite, I believe), by unioning sequences with different limits. The LimSup, LimInf of a sequence will output the largest and smallest limit points of the sequence respectively. If the two are equal to , say, L, then the sequence converges to L.
I think you can get uncountably many limit points. For example let your sequence be 1/2, 1/4,2/4,3/4,1/8,2/8,...

Then every real number in [0,1] is a limit point of this sequence.
 
  • #23
WWGD
Science Advisor
Gold Member
2019 Award
5,410
3,486
I think you can get uncountably many limit points. For example let your sequence be 1/2, 1/4,2/4,3/4,1/8,2/8,...

Then every real number in [0,1] is a limit point of this sequence.
Then by Bolzano-Weirstrass ( Every bounded , infinite subset of Euclidean space has a limit point), the set of limit points itself would have a limit point.
 
  • #25
S.G. Janssens
Science Advisor
Education Advisor
929
703
I don't see why sequences converge to every point on the line?
It was about sequences of distinct points. (Then it is probably clear: Take any point ##x## in the space. An open nbh of ##x## is the complement of a finite set, and a sequence of distinct points leaves such a finite set eventually.)
 
  • Like
Likes WWGD

Related Threads on Limits of functions and sequences

  • Last Post
Replies
3
Views
1K
Replies
1
Views
7K
Replies
3
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
2
Replies
28
Views
3K
  • Last Post
Replies
0
Views
1K
  • Last Post
Replies
13
Views
2K
  • Last Post
Replies
5
Views
5K
Top