Talk:Limit of a function

El directorio enciclopédico desde la Wikipedia.

WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating: B Class High Priority  Field: Analysis
One of the 500 most frequently viewed mathematics articles.
Please update this rating as the article progresses, or if the rating is inaccurate. Please also add comments to suggest improvements to the article.

Contents


To be merged with the main article:

[edit] Metric spaces

The real numbers form a metric space if we use the distance function given by the absolute value: d(x,y) = |x - y|. The same is true for the complex numbers. Furthermore, the Euclidean space Rn forms a metric space with the metric given by the euclidean distance. These three will be our motivating examples for extending the limit definitions given above.

If (xn) is a sequence in the metric space (M, d), we say that the sequence has limit L iff for every ε>0 there exists a natural number n0 such that for all n>n0 we have d(xn, L) < ε.

If the metric space (M, d) is complete (which is true for the real and complex numbers and Euclidean space, and all other Banach spaces), then one can establish the convergence of a sequence in M by showing that it is a Cauchy sequence. The advantage of this approach is that one need not know the limit in advance in order to do this.

If M is a real or complex normed vector space, then the limit operation is linear, as explained above for the case of sequences of real numbers.

Now suppose f : M -> N is a map between two metric spaces, p is an element of M and L is an element of N. We say that the limit of f(x) as x approaches p is q and write

 \lim_{x \to p}f(x) = q

if and only if to be merged into the main article:

for every ε > 0 there exists a δ > 0 such that for all x in M with 0 < d(x, p) < δ, we have d(f(x), L) < ε.

This is equivalent to saying

for every convergent sequence (xn) in M - {p} with limit equal to p, the sequence (f(xn)) converges with limit L.

The function f is continuous at p if and only if the limit of f(x) as x approaches p exists and is equal to f(p). Equivalently, f transforms every sequence in M which converges towards p into a sequence in N which converges towards f(p).

Again, if N is a normed vector space, then the limit operation is linear in the following sense: if the limit of f(x) as x approaches p is L and the limit of g(x) as x approaches p is P, then the limit of f(x) + g(x) as x approaches p is L + P. If a is a scalar from the base field, then the the limit of af(x) as x approaches p is aL.

If N is R, we can define infinite limits; if M is R, we can define one-sided limits in analogy to the definitions given earlier.

[edit] Do multiple limits commute?

Hi,

One piece of information I was looking for but couldn't find on wikipedia was whether multiple limits commute. That is, given a function f(x,y), is it necessarily the case that

\lim_{x \to x_0} \lim_{y \to y_0} f(x,y) = \lim_{y \to y_0} \lim_{x \to x_0} f(x,y)

? I think this could be added to the article, but I couldn't find it in any of the places I checked online. Thanks! -- Creidieki 05:57, 20 Sep 2004 (UTC)

Limit don't necessary commute. For instance,
\lim_{y\to0} \frac{x}{x^2+y^2} = \frac1x \mbox{, so } \lim_{x\to0} \lim_{y\to0} \frac{x}{x^2+y^2} \mbox{ diverges;}
\lim_{x\to0} \frac{x}{x^2+y^2} = 0 \mbox{ for } y \neq 0 \mbox{, so } \lim_{y\to0} \lim_{x\to0} \frac{x}{x^2+y^2} = 0.
I believe there is a theorem that the limits do commute in some cases, perhaps somebody else remembers the details. And yes, this would make a good addition to the article. -- Jitse Niesen 15:37, 20 Sep 2004 (UTC)
Here is the only theorem I know of in connection with your question. If the limit
\lim_{(x,y)\rightarrow (x_0,y_0)} f(x,y)
exists, then the limits commute. The converse is not true, however. For instance:
\lim_{x\rightarrow 0}\lim_{y\rightarrow 0}\frac{xy}{x^2+y^2}=\lim_{y\rightarrow 0}\lim_{x\rightarrow 0}\frac{xy}{x^2+y^2}=0.
However, the limit \lim_{(x,y)\rightarrow (0,0)} \frac{xy}{x^2+y^2} does not exist.
Moreover, there pretty much can't be any useful non-trivial converse results of the sort Jitse is thinking of since the equality of the commutation of limits is essentially an artifact of the coordinate system. (Exercise for the mathematical reader: But what happens when you apply a homeomorphism to the coordinate system?) Silly rabbit 22:02, 7 June 2006 (UTC)

[edit] Suggestion

I have studied "Calculus AB", a nationwide (US) college standard for Differential Calculus and an intro into Integral calculus. This page, though I could comprehend with some tentativeness, was a struggle to fully understand. Basically what I'm saying is I cannot show this page to someone wanting to learn calculus (with no prior knowledge of limits) and expect them to comprehend it. I would like to work on this page and have added it to my "to do list" but rarely have the time. If someone wanted to add a summary of the concept of limits that would be comprehensible to the average trigonometry/college algebra student (prerequisites for calculus and precalculus), then you've done the job that may take me some period of time. Thanks

In further reveiw, I recommend it be placed near the "examples" section.

I agree; the article is much too formal and textbookish at the moment. Revolver 18:28, 16 September 2005 (UTC)

[edit] non-standard definition

This article appears to give the non-deleted form of the limit as the primary definition, and the deleted version as an "alternative". This is highly non-standard. In almost every real analysis textbook, the limit is taken to mean in the deleted form. Revolver 22:35, 8 September 2005 (UTC)

[edit] sequential continuity

To say that the limit of a function f at p is L is equivalent to saying that for every convergent sequence (xn) in M with limit equal to p, the sequence (f(xn)) converges with limit L.

This is certainly false for general topological spaces, and I am almost certain it is false for metric spaces. Revolver 15:43, 9 September 2005 (UTC)
I correct myself. If a topological space is first countable, then a function is continuous at a point if and only if it is sequentially continuous at that point. Since every metric space is first countable, this statement holds for metric spaces (although it is regarding continuity, not limits...but that is related to my gripe about the recent change in the definition of limit). Since not every topological space is first countable, this statement does not hold for general topological spaces. Incidentally, why is continuity on topological spaces not mentioned? The case of nets does not address this. Nets concern continuous functions INTO a top space, whereas we can also talk about continuous functions FROM a top space. Revolver 16:02, 9 September 2005 (UTC)
I am not aware, off the top of my head, if the equivalence of continuity and sequential continuity characterizes first countable spaces. It's an interesting exercise to consider. Revolver 16:03, 9 September 2005 (UTC)
This is false if we take the deleted form of the definition of limit. For example, consider the characteristic function f of the singleton set {0}. The limit of f at 0, according to the deleted form of the definition, is L = 0, while for the sequence 0,0,0,..., the sequence (f(0),f(0),...) = (1,1,...) converges to 1, not to L = 0. To be consistent, the statement should be modified or the definition should be replaced with the non-deleted form. I prefer the former, because, as Revolver said, almost every textbook takes the deleted form. --Novwik 14:44, 19 February 2006 (UTC)

[edit] Sided limits

There should be a discussion of sided limits of single-variable real-valued functions here. There should also be a discussion of the often published but mistaken lemma that the limit of f(x) as x approaches a is equal to L iff the limit of f(x) as x approaches a from the right is equal to the limit of f(x) as x approaches a from the left (cf Swokowski, Thomas and Finney, et al.). That defect of the intro calculus texts always drives me nuts! The left- or right-sided limit may not exist, but x can still approach a from within the domain. --24.176.68.73 20:59, 25 October 2005 (UTC)

Could you explain more precisely what you mean? I think you may be misinterpreting the definitions. With the usual definitions of limit, and left- and right-hand limits, it is quite true that limit = L iff left-hand limit = right-hand limit = L. If the right-hand limit does not exist, e.g. then there is an epsilon > 0 such that no matter what delta > 0 you choose, [a, a + delta) will have points whose image under the function maps outside the epsilon-band. Then, this epsilon is such that no matter what delta > 0 you choose, you will have points in (a - delta, a + delta) mapping outside the epsilon-band, just by taking the points guaranteed by the above. So, the limit will not exist.

[edit] Interpretation question

In the article it is stated:

* q × ∞ = ∞ if q > 0
* q × ∞ = −∞ if q < 0

Provided that multiplying a finite value by an infinite value is formally valid, I read these statements as:

* Unsigned infinitive multiplied for positive number gives unsigned infinitive.
* Unsigned infinitive multiplied for negative number gives negative infinitive.

Shouldn't it be:

* Unsigned infinitive multiplied for positive number gives positive infinitive.
* Unsigned infinitive multiplied for negative number gives negative infinitive.

Or:

* Unsigned infinitive multiplied for positive number gives unsigned plus/minus infinitive.
* Unsigned infinitive multiplied for negative number gives unsigned minus/plus infinitive.

Or even:

* Unsigned infinitive multiplied for a number gives unsigned plus/minus infinitive.

Am I perhaps misunderstanding this all? [No, I do not have specific knowledge in limits, I'm reasoning with logic, but please, do not trash this comment. After all, if I browse an encyclopedia for 'Limits', it's very possible I do not know anything about Limits; the source of my misunderstanding could be poor explaination of what 'q' is, if we are talking about numbers or results of limits or if ∞ means +∞ or unsigned ∞, e.g.] Thanks in advance.

[edit] Definitions of "limit of a function at a point"

At the beginning of the paragraph, two definitions are given. The second states "Sometimes, the limit is also defined considering for x values different from p.". But it seems to me that the limit is _always_ defined considering for x values different from p: this is implied by "0 < |x-p|" → |x-p| ≠ 0 → x ≠ p. The definition is followed by a formula which seems exactly the same as the one given above. Could someone look into this and give me an opinion?
Stefano85 00:40, 7 January 2006 (UTC)

So what is \overline{\mathbb{D}} suposed to be? Is it a) a closed disk containing p; b) the closure of the decimals? Enquiring minds wish to know. Anyway its non standard notation which should be explained. --Salix alba (talk) 00:22, 18 February 2006 (UTC)

[edit] Display problem

Most of the examples section in this article is not displaying correctly in either Internet explorer or Firefox at present. Elroch 02:23, 16 February 2006 (UTC)

I came to the conclusion the formatting problem was due to extraneous semi-colons, which I removed. The section displays fine now in IE and Firefox on my PC. I hope it's ok on other platforms.Elroch 00:30, 17 February 2006 (UTC)

[edit] Maybe this image will be usefull for EN-WP

Image:LimitDefinition.png

it's useful but it's need better graphics , i am going to make a better graphics one and post it in the article باسم أس 2 (talk) —Preceding undated comment was added at 23:27, 16 September 2008 (UTC).

[edit] Derivative page has better information on limits than this page.

The Differentiation and differentiability section on the derivative page has a lot of information about limits that this page doesn't, such as the applications and continuity. Someone that actually understands what's going on should probably add these things, as they're fairly important.

[edit] Limit = -Infinity?

I disagree with the one-sided limit example for 1/x which states that the limit equals negative infinity. My calculus book states that such limits that approach arbitrarily large values do not exist, although notation of the type f(x)->Infinity may be used to describe how the limit fails (p. 62-63 of Calculus:One and Several Variables, 8th ed. by Salas, Hille, and Etgen). I am going to "comment out" the part that seems to be incorrect.--GregRM 03:35, 10 December 2006 (UTC)

The limit is usually considered as unexistant or divergent. Both definitions are acceptable, but since this is a page supposed to be useful for learners, I think it'd be better if listed as divergent (or at least a fair explanation for it being "undefined", because it somewhat beats the concept of "limit".) Linkman 145 22:06, 28 December 2006 (UTC)
Defining the extended real numbers as a topological space with neighborhoods at infinity and -infinity makes it perfectly acceptable to say that the limit of 1/x (as x approaches 0 from the left) is -infinity. Of course, the limit does not exist if 1/x is interpreted to be a real function defined in a metric space. However, using the extended real limit is sufficiently rich so that it's clear that an infinite limit implies an unboundedness. A discussion of the agreement of limit superior and limit inferior might be good here too. --TedPavlic 15:55, 14 March 2007 (UTC)

[edit] Check

I just removed the word "wrong!" from the Limit of a function of more than one variable section. Perhaps a knowledgable editor would like to check that section. --zenohockey 05:17, 17 February 2007 (UTC)

Looks right to me now. I think it should be generalized further to more dimensions, so L becomes a vector. Also, what about this definition for \lim_{x \to a}f(x) = L where x, a, and L are vectors?
For every open set N containing L, there exists an open set U, a subset of A, such that (use any of the following in the definition, as they are equivalent):
  1. all of U (except maybe a) is mapped into N by f
  2. if x is in U, then f(x) is in N
  3. f(U\{a}) is a subset of N
Pomte 03:22, 18 February 2007 (UTC)

[edit] Hausdorff Space in Definition of Topological Limit

Currently the definition of a limit in a topological space requires that the codomain of the function be a Hausdorff space. This is too strong. Limits are defined in exactly the same way for non-Hausdorff spaces; it's just that Hausdorff spaces happen to have unique limits. So, I suggest that the Hausdorff requirement be removed. --TedPavlic 15:57, 14 March 2007 (UTC)

I had the same thought a while back. But, then we would also have to change "the limit" to "a limit", etc. I think it would be too easy for a casual reader to get the wrong idea. Silly rabbit 17:39, 16 April 2007 (UTC)

[edit] Limit Point in Definition of Topological Limit

It is not clear to me why a the definition of a limit in a topological space forces the domain point to be a limit point. The neighborhood definition seems sufficiently rich. Additionally, the definition should be weakened so that the function can have a domain that is any subset of the topological space. The function need not be defined for the whole space (minus the point). Any subset will do. However, in that case, the neighborhood must not be disjoint from the domain. --TedPavlic 16:02, 14 March 2007 (UTC)

Correction; the limit point requirement is fine. Otherwise it's possible for isolated points to mess things up. However, I still think the definition can be weakened for all subsets. --TedPavlic 16:08, 14 March 2007 (UTC)
Two things: first, subsets of topological spaces are themselves topological spaces with respect to the induced topology. So my original definition is not weaker than yours, and has been reinstated. (It is simpler.) I mention later how to handle domains strictly included in X. Second, the limit point requirement is necessary, but for the domain of the function (which you had called E), not just for X (of course, this will follow). In fact you seem to use this later with the EU - {p} ≠ ∅ requirement. Indeed, it isn't hard to cook up an example where limits are non-unique if you relax the limit point condition. Silly rabbit 19:05, 16 April 2007 (UTC)

[edit] Introduction

I altered the intro a bit. The current definition is not quite correct, since it does not capture the "all" part of "for all |x-p|<delta". E.g. the limit of sin(1 / x) near 0 would be every number between -1 and 1. The old text is below. Triathematician (talk) 17:34, 20 December 2007 (UTC)

In mathematics, the limit of a function is a fundamental concept in analysis. Informally, a function f(x) has a limit L at a point p if the value of f(x) can be made as close to L as desired, by making x close enough to p. Formal definitions, first devised in the early 19th century, are given below.

In consideration of recent changes, I suggest the following as a new version of the introduction. Triathematician (talk) 18:41, 4 January 2008 (UTC)

In mathematics, the limit of a function is a fundamental concept in calculus and analysis concerning the behavior of that function near a particular input. Informally, a function assigns an output f(x) to every input x. The function has a limit L at an input p if f(x) is "close" to L whenever x is "close" to p. More specifically, when f is applied to each input sufficiently close to p, the result is an output value that is arbitrarily close to L. If the inputs "close" to p are taken to values that are very different, the limit does not exist. Formal definitions, first devised in the early 19th century, are given below.


[edit] Recommend merging with http://en.wikipedia.org/description/Limit_(mathematics)

—Preceding unsigned comment added by 67.85.93.45 (talkcontribs)

There are different types of limits; this is just one of them. –Pomte 08:15, 17 March 2008 (UTC)

[edit] GA Failed

There are far too few sources for this to meet GA, so I've quick failed it. Ten Pound Hammer and his otters(Broken clamshellsOtter chirps) 01:14, 28 May 2008 (UTC)

i saw that there are too resources also when I looked up this page yesterday to use it with a student of mine.. Can I help put some in?? I have several calc textbooks.. (I'm a tutor)aharon42 (talk) 13:06, 6 September 2008 (UTC)

[edit] A few ideas for making the concept of a limit even clearer

I know from much teaching experience that the precise concept of the limit of a function is hard to get across to students, especially because the definition involves four separate clauses, all of which must be borne in mind for the concept to be fully understood:

1. For every epsilon > 0,

2. there exists a delta > 0 such that

3. if 0 < |x - c| < delta,

4. then |f(x) - L| < epsilon.

For this reason, I think it would definitely enhance the article if several simple examples were given, with proofs. For instance, the limit of f(x) = 5x as x → 3, and the limit of f(x) = 1/x as x → oo.

I think it would also be helpful to include several examples where the function's value at x = c is different from the limit of f(x) as x → c, and (as mentioned above) several examples where a limit does not exist.

Also, I think a diagram (such as suggested above) with careful annotation would be a great help to beginners.

I think the best way to communicate the concept of the limit of a function "being infinity" is to state the the notation (which of course resembles ordinary limit notation but with the number L replaced by oo) is to describe the notation as shorthand for saying that for any M > 0 there is an delta > 0 such that if 0 < |x-c| < delta, then f(x) > M (and similarly for -oo, as well as altering this as needed for limits where x →oo or x → -oo). This has the advantage of not requiring a definition of oo per se.

Finally, as to the question of whether an infinite limit "exists", I'd recommend that the article take no strong position either way, since it is really a matter of opinion.Daqu (talk) 18:40, 22 June 2008 (UTC)

[edit] Merge?

This article does a good job of stating the definition of a limit. Why is (ε,_δ)-definition_of_limit necessary? Shouldn't it be merged here? Thenub314 (talk) 12:01, 10 October 2008 (UTC)

Yes, that seems like a good idea. siℓℓy rabbit (talk) 12:09, 10 October 2008 (UTC)
I think there was a reason for the split, and it will require careful study, as (ε, δ) now includes both limits of a function and of a sequence. However, I didn't really see a good reason for the split at the time, if I recall correctly. I certainly have no objection to a formal merge request. — Arthur Rubin (talk) 14:49, 10 October 2008 (UTC)
True, we may have to be careful to make sure pages link either to here or limit of a sequence but where we have pages on both of these topics, the page (ε,_δ)-definition_of_limit doesn't seem necessary. Thenub314 (talk) 20:45, 10 October 2008 (UTC)
I vote yes to the merge. This is nothing more than a formal definition of the limit. Besides deserving to be in the "limit" article, it is a necessity for a clear description of the limit. --Hamsterlopithecus (talk) 01:35, 19 October 2008 (UTC)

Another question is what to do with limit (mathematics). There doesn't seem to be much there. siℓℓy rabbit (talk) 03:22, 19 October 2008 (UTC)

The article on limit of function is rather long and does not get to the epsilon-delta definition immediately. The epsilon-delta definition is an identifiable concept immediately recognizable in a community wider than that of mathematicians. As such it should have a separate entry. Furthermore, the epsilon-delta definition is more general than just the framework of functions, as there is one for limits of sequences as well. I think those are three excellent reasons to keep the article separate. Katzmik (talk) 12:26, 22 October 2008 (UTC)
I don't have strong feelings one way or the other, but I do feel that our articles have engaged in much duplication of what can be handled entirely in one place. We have limit of a function, limit (mathematics) (which should probably just be a disambiguation page), and (ε, δ)-definition of limit. Undoubtedly there are other articles that more clearly deserve their own page, such as limit of a sequence. siℓℓy rabbit (talk) 19:16, 22 October 2008 (UTC)
I do not know what the best thing to do with limit (mathematics) would be. I think it should be reworked so that it points to main articles about different notions of limits in mathematics, or perhaps it should be a disambiguation page. I disagree that having an article that immediately jumps into a definition is a reason to have a separate article. Most of the time, it seems to me, the difficult part of writing a good article is including more then just the strict mathematical statements. If the ε-N definition for limit of a sequence were not already in limit of a sequence it would be a good reason not to merge. I also feel for a sequence the title of the article is close to a misnomer. Overall I think limit of a function and limit of a sequence do a better job than (ε,_δ)-definition_of_limit. Thenub314 (talk) 20:03, 22 October 2008 (UTC)
Of course you are right, the articles you mentioned start with an intuitive explanation of the concept, which is always better than a dry definition. However, the (epsilon, delta) article serves a different purpose. Namely, somebody looking for a precise statement of the artual definitions, rather than discussions thereof, will find them conveniently summarized here. As far as duplication is concerned, I think it is an inherent feature of any useful database. In fact, I don't think we have enough of it. Various editors keep complaining that the math articles are not accessible enough. The situation could be corrected to have more articles of the type "Introduction to...". Fine examples are introductions to relativity theory and introduction to quantum mechanics. However, when someone tries to write such an introduction, there is frequently stiff resistance from people worried about forking. I think we should be more worried about accessibility than about forking. Katzmik (talk) 10:37, 23 October 2008 (UTC)
I agree that duplication is not always a bad thing. I also agree we should be more worried about accessibility then forking. In this particular case, I feel the articles limit of a function and limit of a sequence also provide precise statements of the actual definitions and not simply a discussion thereof. Further in the case of both articles the definitions are offset as their own sections and are clearly identifiable from the contents. So if one wants to skip introductory comments it is easy. I think these two articles provide more detail into the precise definitions. Thenub314 (talk) 14:14, 23 October 2008 (UTC)
Good, I am glad we agree. As far as the (epsilon, delta) page is concerned, it is more narrowly defined than the two limit pages you mentioned. Namely, there are more than one way of defining limits, and epsilon, delta is only one of them. An alternative method is provided by non-standard calculus. The (epsilon, delta) page focuses on the Cauchy-Weierstrass approach. As I mentioned already, the main argument in favor of retaining it is that the term is an identifiable and familiar concept, as distinct from the notions of limits themselves. The fact that the epsilon, delta definition is given in a subsection of a larger article is not a reason not to have a separate page on this widely used concept. Having such a page certainly goes in the direction of greater accessibility the desirability of which we seem to agree on. Katzmik (talk) 14:21, 23 October 2008 (UTC)
I am not not a mathematician but like to read math articles. I feel that large duplications are a problem in Wikipedia and should be avoided. If one duplication is expanded or corrected in one article then it is usually not so in the other. The reader may have to read a long section twice. A reader may miss important information that was in the other article. I very much dislike reading though an article and much later finding out that vital information was hidden in an almost identical section in another article.
Lack of accessibility of math article seem often to be a complaint by those who expect to find an ordinary language explanation and do not want to have to read other linked articles. Which is not possible if not every math article would be extremely long and start by explaining formal systems, then first-order logic, then set theory and so on.
It seems very unlikely that anyone would search for an expression with unusual symbols such as "(ε, δ)-definition of limit". If anyone did, then better solutions would be a redirect to the appropriate section or disambiguation page.Ht686rg90 (talk) 17:05, 23 October 2008 (UTC)
Personally I would prefer to have all the material from these four articles, none of which are extremely long and have many duplications, merged into limit (mathematics).Ht686rg90 (talk) 17:38, 23 October 2008 (UTC)
I am not against one article under limit (mathematics), but I am also not against two separate articles on limits of functions and sequences. The title of limit (mathematics) suggests one should include a bit about every notion of limit in mathematics, of which there are many. (For example should we mention weak limits, categorical limits, etc.) But I think duplication in this setting is not needed, so I think some merge should happen. Thenub314 (talk) 18:41, 23 October 2008 (UTC)
How about "limit (mathematical analysis)"? I think that one article for limits of sequences and functions would be beneficial. Then there would be one place for discussing the many similarities such as history and (ε, δ)-definition.Ht686rg90 (talk) 19:14, 23 October 2008 (UTC)
I suppose I do not have strong feelings either way, I can see advantages to ending up with 2 articles with some disambiguation page and also I can see advantages of just having 1 article. I await with interest to see what other people think. Thenub314 (talk) 20:53, 23 October 2008 (UTC)
The page (ε, δ)-definition of limit summarizes the quantifier definition developed by Weierstrass in a succinct way that transcends the dichotomy into limit of function/limit of sequence. It makes it possible for the reader to compare Weierstrass's approach with other approaches, which reduce its quantifier complexity. I already mentioned that the main argument in favor of the page is that it is a widely recognized term and as such deserves a separate page. It is a well-visited page (there were 98 hits yesterday). Katzmik (talk) 08:57, 24 October 2008 (UTC)
""limit (mathematical analysis)" also transcends the dichotomy into limit of function/limit of sequence. Can also explain other approaches. 98 hits is very little for a foundational concept such as limit. Why not simply have a redirect to the appropriate section? Please see the disadvantages I mentioned above with duplications.Ht686rg90 (talk) 09:38, 24 October 2008 (UTC)
The issue of duplication is a separate one and I have a feeling it will be difficult to reach a consensus on this. I personally feel we should worry less about duplication/forking than about accessibility. Another editor above agreed to this. I think it is helpful to have shorter articles. They tend to be more focused and helpful to the reader. My favorite example of this is the page computational formula for the variance that I created, not that I am an expert in statistics or probability. This formula was hidden inside the long page on variance. Since it is a generally recognized term, I felt it should have a page of its own. Numerous editors have concurred, and the page is now considerably longer than when I first created it. I feel similarly about the epsilon, delta page. Katzmik (talk) 09:43, 24 October 2008 (UTC)
I feel maintaining all of these pages limits accessibility. I agree we should be more concerned with it, but feel the current state of affairs hurts accessibility. Thenub314 (talk) 15:49, 26 October 2008 (UTC)
The page at (ε, δ)-definition of limit deals with issues that are not dealt with at the other limit pages. Namely, it deals with the logical structure of the definitions. Given the difficulty of the concept, it seems reasonable to have a detailed discussion of it. Thus, the current section comparing the two notions of continuity in terms of quantifier order is not found at the other pages, and rightfully so, as they deal with other issues. The (ε, δ)-definition of limit page certainly helps accessibility as far as understanding this issue is concerned. Katzmik (talk) 08:46, 27 October 2008 (UTC)
If we are going to expand to an article mentioning and comparing all instances of a (ε, δ)-definition then it should also include topics such as absolute continuity, Riemann integral etc. How about renaming your page to (ε, δ)-definition in mathematics? Regardlesss, to avoid this issue for now, let us just start by merging the other pages to limit (mathematical analysis. If no objection, I will just do a complete merge. Then we can start removing duplications and fix other issues.Ht686rg90 (talk) 10:35, 27 October 2008 (UTC)
I really don't see a consensus for such a merge at this time. If you feel strongly about it, I suggest you raise the issue at WPMath. Incidentally, since I have not had a chance to respond to your comment regarding "corrections and improvements", I would like to mention that frequently quite the opposite is the case, namely a high quality page is made mediocre by a series of well-intentioned but not always well-informed edits. Katzmik (talk) 10:46, 27 October 2008 (UTC)
All your objection have been regarding merging the (ε, δ)-definition page. Please explain your concrete objections to merging the other pages.Ht686rg90 (talk) 10:49, 27 October 2008 (UTC)
This string is getting to be unmanageable. If you don't mind, I will respond at your talk page. Katzmik (talk) 10:51, 27 October 2008 (UTC)
No reason to limit this discussion to my talk page since it concerns this article. I will reply here. I will unindent my answer.Ht686rg90 (talk) 11:06, 27 October 2008 (UTC)

Continued from above. The only concrete reason you give is that few people may have seen this discussion. The other reasons are regarding merging the (ε, δ)-definition page which is not the issue right now. So again, if you have any concrete issues against merging the other three pages then please list them.Ht686rg90 (talk) 11:06, 27 October 2008 (UTC)

There is a difference between a short summary section with a link to the main page and the longer main page, as compared with two long almost identical duplications in two different articles. The first is fine, improvements will automatically be directed to the main page and the interested reader only have to read one long text. If there are two long duplicated texts, then over time there will corrections and improvements distributed randomly between these, the reader will have to read the text twice, or even worse miss one of the texts and some important info only mentioned in one of them.Ht686rg90 (talk) 14:40, 24 October 2008 (UTC)

[edit] concrete reasons

Fine, here are two concrete reasons:

1. since the limit concept is one of the central ones in mathematics, drastic changes in the current configuration should be discussed at WPMath and not performed hurriedly, in accordance with the motto "don't fix it if it ain't broke". There is probably a more eloquent Wiki policy to this effect, but I am not as adept at quoting wiki policy as some.

2. Many editors feel that any identifiable concept should have its own page, even at the expense of a certain amount of duplication. Thus, "limit of a function" and "limit of a sequence" are distinct, familiar concepts. I have not looked at limit (mathematics). If it is really true that there is NO material there that's not in the other pages, it could be removed following consensus at WPM. Katzmik (talk) 11:19, 27 October 2008 (UTC)

P.S. I agree with your comment that the page (ε, δ)-definition of limit could be expanded to include additional material. Actually I just looked at Absolute continuity for the first time. It is a concept less familiar from calculus. At traffic statistics, it is visited far less frequently than the other pages discussed above. Having said this, please feel free to add material to (ε, δ)-definition of limit, in line with the basic thrust of that page, namely emphasis on logical structure of Weierstrass's definition and related definitions. Katzmik (talk) 11:35, 27 October 2008 (UTC)
  1. Please see WP:BOLD. But we should certainly reach a consensus by discussion.
  2. Please also see Wikipedia:Summary style. Wikipedia should in general follow a pyramid structure of briefer summary sections linking to more in depth main articles. Not long duplications of the same material in different articles.
  3. Related to 2, if for example there is much material about the (ε, δ)-definition, which may or may not only be restricted to such definitions only for limits, then it should have an article of its own. Personally I would be very happy if you as an expert would expand it to a general discussion of the (ε, δ)-concept in mathematics, not only restricted to limits but also including topics such as continuities and integrals, and maybe change the name accordingly to "(ε, δ)-definition in mathematics" or something similar.
  4. Limits in mathematical analysis is a foundational concept so Wikipedia should have a good coverage on this. The three articles limit (mathematics), limit of a function, and limit of a sequence have many duplications. Limit (mathematics) is not a good name since most of the article is about limits in analysis. Disambiguation is already covered in the limit article. Limit of a function and limit of a sequence have many similarities such as history and (ε, δ)-definition better discussed and compared in one article. Thus it would be better to merge these three articles to "limit (mathematical analysis".

The most typical target audience is a high school/college student which may not be extremely interested in mathematics or see it as more than a side subject. Requiring that such readers should read and compare three different articles with many duplications to grasp the concept is not efficient or good writing.Ht686rg90 (talk) 12:25, 27 October 2008 (UTC)


Here are my comments:

Personally I don't find quotations of wiki policy very helpful. Obviously there are situations where one should be bold. Yet there are others when one should stick to "don't fix it". Someone recently quoted a regulation on avoiding the quantifiers. This may be useful as a general directive, but in the context of lengthy definitions involving multiple quantifiers, this is clearly inappropriate.
  1. Please also see Wikipedia:Summary style. Wikipedia should in general follow a pyramid structure of briefer summary sections linking to more in depth main articles. Not long duplications of the same material in different articles.
I agree that long duplications are to be avoided. I think the way of dealing with this problem is defining better the goal of each page, as I have tried to do at epsilon, delta. For instance, the lead paragraph in each of limit of function/limit of sequence could elaborate more on what's particular to that case.
  1. Related to 2, if for example there is much material about the (ε, δ)-definition, which may or may not only be restricted to such definitions only for limits, then it should have an article of its own. Personally I would be very happy if you as an expert would expand it to a general discussion of the (ε, δ)-concept in mathematics, not only restricted to limits but also including topics such as continuities and integrals, and maybe change the name accordingly to "(ε, δ)-definition in mathematics" or something similar.
This seems like a noble goal. You will grant me the point that I have done most of the work on the article so far. It would be great if others can chip in.
  1. Limits in mathematical analysis is a foundational concept so Wikipedia should have a good coverage on this. The three articles limit (mathematics), Limit of a function, and limit of a sequence have many duplications. Limit (mathematics) is not a good name since most of the article is about limits in analysis. Disambiguation is already covered in the limit article. Limit of a function and limit of a sequence have many similarities such as history and (ε, δ)-definition better discussed and compared in one article. Thus it would be better to merge these three articles to "limit (mathematical analysis".
Again, this may be a good idea, but it could be we are overlooking something. My point is that since there is no pressing need for such a change, it should be discussed first at WPM. Do you have any particular reason to objecting to a discussion at WPM?

The most typical target audience is a high school/college student which may not be extremely interested in mathematics or see it as more than a side subject. Requiring that such readers should read and compare three different articles with many duplications to grasp the concept is not efficient or good writing.Ht686rg90 (talk) 12:25, 27 October 2008 (UTC)

Well, on the contrary, because of the weakness of the typical reader, I think it would be preferable to have several short articles even at the cost of moderate duplication of material, than one long one, where everything is perfectly presented but nobody will get that far. After all, the attention span of the typical reader is not what it used to be. Incidentally, I am amazed at how well Bishop Berkeley mastered the material before embarking on his critique. And he did not have the benefit of a 900-page calculus textbook, either, and had to learn everything from primary materials. Katzmik (talk) 12:55, 27 October 2008 (UTC)

I have nothing against discussing this at WPM but would like to understand your objections first. If I understand it correctly it is that you as a general principle want to have articles for "any identifiable concept" even if these are very short and create considerable overlaps? There is nothing specific regarding this merge you object to? If so should not every article in Wikipedia be broken down to what many consider to be short stubs? Like every time a definition or new word or concept is introduced is given there should be separate Wikipedia article? Ht686rg90 (talk) 14:52, 27 October 2008 (UTC)

Obviously I don't mean that every concept should have a separate page, only terms that are widely recognized as "standard" in some sense. Remember our goal is to help readers understand. If there is a term he is already familiar with, with should exploit his familiarity to teach him more about it. It is very difficult to make general rules about this, rather one should proceed on a case by case basis. In this case, I am yet to be convinced that there is a pressing need for drastic changes. On the other hand, the error at absolute continuity should be corrected as soon as possible. Katzmik (talk) 15:04, 27 October 2008 (UTC)
Cannot this be fixed by having redirects from "limit of a function" and "limits to a sequence "to the appropriate section in "limit (mathematical analysis"? If these sections over time become very long then I agree that there should be separate subarticles. But for now merging these 3 articles will not create a very long article due to the considerable overlap.
As a separate issue, any objection to a least renaming "limit (mathematics)" to "limit (mathematical analysis)" to reflect the main content? Disambiguation is already covered in the limit articleHt686rg90 (talk) 15:15, 27 October 2008 (UTC)
Limit (calculus) would probably be better. Most analysts probably don't think of "limit" as a subject in analysis. Katzmik (talk) 15:20, 27 October 2008 (UTC)
I just noticed it's already a redirect :) Somebody already thought of this, and someone else overruled it, I am sure for very important reasons :) Katzmik (talk) 15:22, 27 October 2008 (UTC)
No reason was given for redirect. For example this discussion of mathematical analysis mentions limits prominently.[1] Either name is probably acceptable. Please reply to my arguments regarding redirects and length.Ht686rg90 (talk) 15:53, 27 October 2008 (UTC)
Whew, I think this must be what they mean when they talk about arguing by exhaustion :) Perhaps we can continue tomorrow... Katzmik (talk) 16:00, 27 October 2008 (UTC)
No problem. Note also that the same source does not discuss limits of functions and sequences in separate articles. This allows easy comparisons and discussions of generalizations.[2]Ht686rg90 (talk) 16:03, 27 October 2008 (UTC)
One last comment before I log off: I have seen springer articles before. My impression is often that they are written by experts, are perfectly correct--and unreadable. I have not seen the ones you are referring to, but I would be very dubious about using Springer as a model for wiki. Katzmik (talk) 16:06, 27 October 2008 (UTC)

Just to make sure, is anyone objecting to renaming "limit (mathematics)" to "limit (mathematical analysis)" to reflect the main content? Disambiguation is already covered in the limit article.Ht686rg90 (talk) 11:53, 28 October 2008 (UTC)

I think it should stay and be made more of an overview article with much of the stuff moved out to the separate articles. Dmcq (talk) 12:30, 28 October 2008 (UTC)
But should there not be a general article for limits in mathematical analysis? None of the current articles describe that. The most general concept of a limit would probably be a limit of a filter. Which does not use the (ε, δ)-definition. Thus the (ε, δ)-definition article is not suitable as on overview article for limits since it is a special case. I think if there is an general article then this can describe how all of these concepts are related.Ht686rg90 (talk) 14:07, 28 October 2008 (UTC)
Regarding limit (mathematics), limit of a function, and limit of a sequence, the many duplications would mean that a merged article "limit (mathematical anaysis)" would not be very long. If over time the length increases then subarticles could be created. But for now an article is much easier and more efficient to read than 3 articles with many duplications.Ht686rg90 (talk) 14:19, 28 October 2008 (UTC)
Articles don't need to be very long if they do a useful well defined job. If all those duplications were removed it would become a much better vehicle for pointing out the general idea of a limit and outlining the various types of uses of the idea. It is easier for people to contribute to a shortish article with a straightforward purpose rather than one than rambles all round different things. The difference between wiki and a paper encyclopaedia is the fast linking and I don't think it should be subverted by turning it into a web version of a paper document. Dmcq (talk) 14:41, 28 October 2008 (UTC)
But limit (mathematics) does not have a straightforward purpose since this includes many very difference concepts such as limits in category theory and limit superior. In effect it is only a disambiguation page to very different concepts that can only ramble briefly all round these very different things. We have an article for limits in category theory. Why not an article for limits in mathematical analysis which do would have a straightforward purpose just like the category theory article?Ht686rg90 (talk) 14:56, 28 October 2008 (UTC)
I'm not saying don't have pages on specifics, quite the opposite. I'm saying a disambiguation page specifically for mathematics that said a bit more than is reasonable on a general disambiguation page is a good idea. Otherwise one as to know most of the answer before one can frame a question. Dmcq (talk) 15:57, 28 October 2008 (UTC)
The limit page is already a disambiguation page. Asking that reader should first go to that page, then to another disambiguation page just for math, then have to read 3 other articles, limit of a function, limit of a sequence, and (ε, δ)-definition of limit, including numerous duplications, and still miss many important issues regarding limits which are not discussed in any of them, is not good writing. Adding yet another page with many more duplications for "limit (mathematical analysis)" would make the situation even worse. There is not more material than can fit into two articles, a disambiguation page limit, and an article for limits in analysis. If the material should start to expand, then subarticles can be created.Ht686rg90 (talk) 17:03, 28 October 2008 (UTC)
You're not honestly saying that you think a naive user looking up some concept of limit in mathematics could go to that limit disambiguation page and get any sort of idea where to go next? Just have a look at it. It's just not possible unless you already know already mostly where yo want to go. And it can't be expanded much. They'd have to trawl through the various articles which are quite specific and dive into their matter. Dmcq (talk) 18:00, 28 October 2008 (UTC)
Hi Dmcq, Just wanted to mention a minor point. I am sure you did not mean it this way, but the use of the term "honestly" could be objected to by some people around wiki. It would be best to avoid any kind of misunderstandings of this sort. Katzmik (talk) 18:03, 28 October 2008 (UTC)
Thanks for the tip, I see your point. I certainly had no intention of implying dishonesty in any way, it was an emphasis expression on the impression when asking to look at the article from a naive users point of view. I'll certainly try to look out for expressions of that sort. Dmcq (talk) 18:23, 28 October 2008 (UTC)

[edit] limit (mathematical analysis)

Hi, I am not sure why the discussion is continued here, I thought it was moved to WPM but at any rate I would like to address the specific point of the proposed title mentioned in the abstract. I think there is no reason to restrict the limit notion to mathematical analysis. It is certainly used in other fields no less than mathematical analysis. I am a differential geometer more of a topological than analytic bent, and I have certainly used limits in my publications. There is one area where the notion of the limit of of central importance, and that's calculus. Its importance stems, of course, from the fact that it is a tool in defining the basic notions of derivative and integral (its intrinsic value is in fact limited, but that's a separate point). I would support moving the page back to limit (calculus), but I think there is no more reason to move it to limit (analysis) than to limit (algebra). Katzmik (talk) 17:07, 28 October 2008 (UTC)

You are right that we should discuss this in one place and preferably WPM. I will not make further replies here.Ht686rg90 (talk) 17:21, 28 October 2008 (UTC)
Página espejo de la Wikipedia
Directorio de Enlaces Directorio dmoz Directorio espejo dmoz Pedro Bernardo