Jump to content

Talk:Cauchy sequence

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Untitled

[edit]

Cauchy net redirects here, yet there seems to be nothing about the concept here.... Vivacissamamente

This comment was left in 2004, it is no longer true. --JBL (talk) 13:06, 13 December 2018 (UTC)[reply]


Untitled

[edit]
Roughly speaking, the terms of the sequence are getting closer and closer together in a way that suggests that the sequence ought to converge. Nonetheless, Cauchy sequences do not always converge.

Some example please --Taw 11 December 2001

added an example, it's kind of kludgy though -- RAE


I'd like to put something along the following lines: Cauchy Seqs are initially useful in spaces such as the Reals because they are a test of convergence which doesn't require a value for the potential limit. -- the flip side is that IF all CSs converge then a space is complete.

There's a sort of switch in perception as things move up a level of abstraction which as a mathematician I find self-evident (and interesting), but I suspect non-mathematicians find baffling or even terrifying:

  • theorem: cauchy seqs converge on the Reals
  • abstraction: cauchy seqs on other space, where they might not converge
  • axiom: part of the defn of complete space

Has this been general idea been coverered anywhere in the maths section? -- Tarquin


I don't think it has been covered; it would fit either here or in complete space. AxelBoldt, Wednesday, June 12, 2002

how about:

All Cauchy sequences of real or complex numbers converge, hence testing that a sequence is Cauchy is a test of convergence. This is more useful than using the definition of convergence, since that requires the possible limit to be known. With this idea in mind, a metric space in which all Cauchy sequences converge is called complete.
Thus R and C are complete; but Q is not. The standard construction of the real numbers involves Cauchy sequences of rational numbers; (something about R being the completion of Q...)

...and something on Mathematical abstraction in general somewhere else. I'll see if I can dig up or remember the proof outlines for "Every convergent sequence is a Cauchy sequence" and "every Cauchy sequence is bounded" -- Tarquin June 12 2002

Definition

[edit]

How about some sort of formal definition? My elementary analysis textbook states: A sequence of real numbers is called a Cauchy sequence if 66.71.96.78 17:01, 3 October 2005 (UTC)[reply]

The formal definition in the article is more general than yours, applying to metric spaces in general rather than specifically to the real line. —Caesura(t) 17:07, 6 December 2005 (UTC)[reply]
It would also be nice to have Cauchy sequences defined for other absolute values, in particular for p-adic absolute values. Would this be a problem? Gene Ward Smith 09:05, 6 May 2006 (UTC)[reply]
I guess that could go in the generalization section, as is not really central to the concept of Cauchy sequences as used in analysis. Oleg Alexandrov (talk) 15:48, 6 May 2006 (UTC)[reply]

p-adic material out of place

[edit]

The p-adic material just after the heading Cauchy sequence in a metric space doesn't seem to belong there. McKay 11:18, 16 June 2006 (UTC)[reply]

I cut it out, together with other fluff. The whole article was a mumbo jumbo of things without clear connections. Oleg Alexandrov (talk) 16:42, 16 June 2006 (UTC)[reply]

'All two' or 'any two'?

[edit]

The first paragraph has again been changed to "all two remaining elements ... ". I don't want to start a revert war here, so I would appreciate other views. My view is that it has to be "any two", as "all two" is both mathematically wrong and grammatically wrong. Madmath789 06:38, 21 June 2006 (UTC)[reply]

I agree, but "any two" is not very precise. It is the maximum distance between two of the remaining elements that has to be small. I changed it. McKay 07:57, 21 June 2006 (UTC)[reply]

Reference List

[edit]

The reference list includes two on algebra and one of constructive mathematics. How about a reference to a good analysis text since after all, Cauchy sequences typically are learned as part of analysis, not algebra.

Just any analysis text, even if it isn't apparently used as a reference? Why not little Rudin or something? But is that right? There isn't anything, offhand, I can think to add to this article, from a source or otherwise. —vivacissamamente 03:13, 21 October 2006 (UTC)[reply]
I feel that there should be an analysis text in the references:

I suggest M.Spivak's 'Calculus' as an option. It gives a good treatment of real Cauchy sequences, and of the construction of the reals using Cauchy sequences, as well as other constructions (it's definitely an Analysis text, rather than a Calculus text, despite the title). I'll try to look ISBN, etc, if someone doesn't beat me to it. Messagetolove 13:56, 26 May 2007 (UTC)[reply]

Have put in Spivak reference ( it's even in Wiki in its own right).

Messagetolove 19:15, 26 May 2007 (UTC)[reply]

Recent edits

[edit]

Here's my revert. Here are the issues.

  • The sequence
0, 1, 1.5, 2, 2.25, 2.5, 2.75, 3, 3.125, 3.25, ..
appears convergent to me, in spite of what the example claims
  • There is no need to emphasize that

implies not only consecutive terms but all remaining terms are getting closer and closer together. It is obvious that we are talking about all terms, since we use different indeces for m and n.

  • Why remove the text about completeness from the def of cauchy sequence? That's the best place to make that point! It is obvious to anybody there that a Cauchy sequence looks as if it is convergent. Then make the reader pay attention right there, rather than moving that text half an article down. Oleg Alexandrov (talk) 15:55, 2 June 2007 (UTC)[reply]
Completeness has its own section. Especially with the added issue of counterexamples the two issues should not be mixed up.--Patrick 08:45, 3 June 2007 (UTC)[reply]
It looks to me as if Patrick may have intended to be taking the partial sums of the series obtained by adding 1 once, 1/2 2 times, 1/4 4 times, 1/8 8 times, etc that is, essentially the argument used to prove that the harmonic series diverges (shifted a bit). Clearly, if that is the intended sequence, it is not convergent, but it isn't entirely made clear that this is really what is intended, and I haven't heard that referred to as "harmonic" before. I agree with your other points.
Messagetolove 19:06, 2 June 2007 (UTC)[reply]
Yes, that is what I mean. However, I wrote that this sequence and the sequence of harmonic numbers are counterexamples, I did not write that this sequence is called harmonic. This sequence has easier numbers than the harmonic numbers, so it is easier to see that it diverges, with all natural numbers occurring in it. If the sequence is not clear enough we can add more terms.--Patrick 22:37, 2 June 2007 (UTC)[reply]
But it is much harder to see the pattern in this sequence, even with an explanation. The harmonic series look simpler to me, one just adds 1/n each time. Also, I am not sure this counterexample is relevant here. I'll add a picture these days, that should make things clearer. Oleg Alexandrov (talk) 23:07, 2 June 2007 (UTC)[reply]

I reverted the counterexample of consecutive terms, that one is kind of pointless, and poorly written too (it is not the difference of consecutive terms which goes to zero, it is the distance between them, per the previous paragraph). The interesting counterexample is a Cauchy sequence that is not convergent, and that is below. Oleg Alexandrov (talk) 11:44, 3 June 2007 (UTC)[reply]

(1) That is not at all an argument for deletion, that is just changing one word.
(2) That is not a counterexample, it is a different (equally interesting) issue.
Patrick 12:15, 3 June 2007 (UTC)[reply]
I agree with (1), of course. I don't agree that the thing about consecutive terms is interesting. It is clear enough that the terms are not consecutive from the def. The big deal about Cauchy sequence is relation to completeness. Oleg Alexandrov (talk) 12:24, 3 June 2007 (UTC)[reply]

question

[edit]

Oleg said

> this is clear enough, n is on the horisontal axis, and x_n is on the vertical one. This is a standard way of graphing functions.

yes, i see this is true. but, the graph ploted by blue points lies on the "plane", not on the axis. so, the blue points do not show the sequence of x_n, do that? sorry for my poor english, thank you. --218.42.230.29 21:48, 5 August 2007 (UTC)[reply]

I clarified things a bit saying that what is graphed is not the sequence itself, but its plot. Are things clearer now? Oleg Alexandrov (talk) 00:37, 6 August 2007 (UTC)[reply]
i thank your kindness. :-) --218.42.230.61 01:41, 6 August 2007 (UTC)[reply]

A squiggle I dont know how to say or from what alphabet it comes

[edit]

I would simply like to point out that there is a squiggle on this page that assumes a fair bit of pre-knowledge that is not documented by a re-link into Wikipedia explaining the character symbol and associated concepts

Generalizing, it would be nice if every mathematical symbol used an article had a link to all that the reader should know about it. Could Wikipedia make this some kind of standard?

Maybe this could be further generalized to some kind of overall standard that any relevant concept with sufficient complexity and obscurity be re-linked back into Wikipedia, at least with a requested article. —Preceding unsigned comment added by Jjalexand (talkcontribs) 12:50, 2 September 2008 (UTC)[reply]

Values of exp, sin and cos always irrational?

[edit]

I think this is not true:

The values of the exponential, sine and cosine functions, exp(x), sin(x), cos(x), are known to be irrational for any rational value of x≠0, [...]

Counter-example: .

(Francisco Albani (talk) 00:31, 22 September 2008 (UTC)).[reply]

The statement you quoted above is correct in "natural units" which in the case of the trigonometric functions means radians instead of degrees: 60° = 60•2π/360 = π/3, and a rational multiple of an irrational number (π) is still irrational. — Tobias Bergemann (talk) 11:29, 22 September 2008 (UTC)[reply]

"m,n > N" vs. "m,n >= N"

[edit]

Is there any reason "m,n > N" is better than "m,n >= N"? With ">", it seems to me that the first element is always discarded -- which doesn't matter, I guess, but made me wonder if that is necessary or not. 88.65.186.193 (talk) 14:08, 25 April 2009 (UTC)[reply]

Since the choice of N is arbitrary so is whether or not you use a strict inequality (or not). For example, if you require that m,n > 199 then m,n >= 200 is just as good. Some authors like it one way, others another. Similarly, when doing a delta-epsilon proof, if two elements {f(y) and f(x)} in a sequence are less than epsilon whenever {x and y} are closer than "delta", then the sequence is convergent... but the same is true if they are less than 5*epsilon or epsilon^2. or sqrt(epsilon) or 1000*epsilon, because the choice is ARBITRARY! Hope that helps.... Brydustin (talk) 03:20, 25 February 2012 (UTC)[reply]

In short: it means the same but takes one character less... --CiaPan (talk) 07:50, 1 March 2012 (UTC)[reply]

Convergence

[edit]

Why don't we just simply state:

a Cauchy sequence convergence in a metric space, though the limit might not in the metric space.

Jackzhp (talk) 22:56, 17 June 2009 (UTC)[reply]

Because when we say something converges to something else, we implicitly suggest that the limit is in the space? I mean, if the limit is not in the space, where is it? It's not easy to talk about things that are outside the space. -- Taku (talk) 21:39, 18 June 2009 (UTC)[reply]
That's right. I'd even add some emphasis and say 'because by definition a sequence is convergent if and only if it has a limit,' and a limit of a sequence is defined as an element of the same space to which the sequence's items belong. That's why 'the same' sequence of is convergent in real numbers (with a limit equal zero) and is divergent in --CiaPan (talk) 12:05, 2 July 2009 (UTC)[reply]

General topology

[edit]

What about generalization into general topology? I suggest a definition: (Cn) is Cauchy iff there is a set such that any its open covering contains an open set S such that there exists an integer N such that for any n>N, Cn is in S.

Is it good? Does it appear somewhere? —Preceding unsigned comment added by 84.229.68.163 (talk) 06:56, 2 July 2009 (UTC)[reply]

This sounds like the definition of convergence. By definition, a sequence converges to x if every open set containing x contains infinitely many . The problem with generalizing Cauhy sequence is that we need some way to measure the distance between two points; this can be done in a metric space, of course. But in general, not possible. So, we need uniform structure or something else. -- Taku (talk) 11:09, 2 July 2009 (UTC)[reply]
'Contains infinitely many' seems too weak for me. Consider the real sequence It has no limit in the interval although any open subset of contains infinitely many terms of . May be we can say 'any open set containing x contains ALL for n greater than some k,' that is 'all except at most a finite number ot initial terms.' --CiaPan (talk) 07:14, 3 July 2009 (UTC)[reply]
You're absolutely right. A simpler counterexample would be "1, 0, 1, 0, 1, 0, ...". It should be "x_n -> x if every neighborhood of x contains all x_n except some finite many terms." -- Taku (talk) 13:43, 3 July 2009 (UTC)[reply]

My definition is intended precisely to circumvent this obstacle. The idea is to confine the sequence into an open set "as small as we want" (for sufficiently large n). The difficulty was to define what is "an open set as small as we want" without limit point or metric. What I found appears an elegant solution for this: open covering can be as fine as we want. My definition doesn't require anything undefined in general topology and clearly does generalize topological convergent sequences, but I don't see whether it generalizes metric Cauchy sequences, too. If not, can it be fixed by replacing "any its open covering" with "any its finite open covering"?

By the way, how can one add comment to an arbitrary section or to a comment? (one ugly way to do it is certainly editing) --87.68.41.183 (talk) 15:29, 2 July 2009 (UTC)[reply]

English pronunciation of "Cauchy"

[edit]

In my experience, the name "Cauchy" is pronounced in English as /ˈkoʊʃi/. Should I add this pronunciation to the article, or wait for someone to come along with a reliable source, or at least say, "yeah, I pronounce it that way, too"? —Tanner Swett (talk) 19:28, 21 June 2011 (UTC)[reply]

I wouldn't know, although one could in principle search YouTube for evidence that people really pronounce it this way, but I've trusted your observation, been bold and added the pronunciation you are suggesting to the article. This way, it is more visible, and the likelihood of people noticing it and complaining or changing it if it is not the most frequent pronunciation is higher. --Florian Blaschke (talk) 15:46, 6 March 2014 (UTC)[reply]

Confusing Example

[edit]

The example of a Cauchy sequence says "The customary acceptance of the fact that any real number x has a decimal expansion is an implicit acknowledgment that a particular Cauchy sequence of rational numbers (whose terms are the successive truncations of the decimal expansion of x) has the real limit x."

But this is followed by "counter example: rational numbers" that says "The rational numbers Q are not complete (for the usual distance): There are sequences of rationals that converge (in R) to irrational numbers; these are Cauchy sequences having no limit in Q."

There is no contradiction in saying that people intuitively understand that a Cauchy sequence of rationals converges to a real number, but a casual reading of the two paragraphs invites confusion. — Preceding unsigned comment added by 208.86.181.160 (talk) 15:10, 19 July 2012 (UTC)[reply]

What needs some emphasis here is the distinction of domains: we say there are sequences of rationals that converge (in R) to irrational number, so they have no limit in Q and so are divergent in Q.
In other words we consider the same sequence of rational numbers being either 'a sequence in R space' (that is a sequence of real numbers, which are by coincidence rational) with a limit in the real space, or 'a sequence in Q space' (a sequence of rational numbers in rational space) with no limit in that space. --CiaPan (talk) 14:52, 22 July 2014 (UTC)[reply]

Generalizations to topological groups

[edit]

I think there is a problem with the definition of the completion of a topological group G when G does not have a countable basis of open neighbourhood of 0. In particular, if K is a field with a Krull valuation, whose value group does not have countable cofinality, then, according to the definition given here, K will be complete (since the only Cauchy sequences in K, as defined here, are eventually constant), contrary to usual terminology. 193.206.101.2 (talk) 14:11, 4 July 2013 (UTC)[reply]

Another example of the same problem: let G be the additive group of the Banach space , equipped with the weak topology. Then every weakly Cauchy SEQUENCE converges in norm, by Schur's property and the fact that -spaces are weakly sequentially complete. However the group (the Banach space) is certainly not weakly complete. In order to fix this, one should go to the much more complex setting of uniform spaces and Cauchy filters. Bdmy (talk) 18:32, 4 July 2013 (UTC)[reply]

arbitrarily

[edit]

the definition "a sequence whose elements become arbitrarily close to each other" I think to be more clear should say "a sequence whose elements become increasingly arbitrarily close to each other", unless a definition of arbitrarily is provided that includes the notion. because, in plain English, the arbitrary number could be 1 and the integers would then be arbitrarily close to one another. Alternatively, could say the sequence is montonically something or other or some other term. 69.201.168.196 (talk) 13:50, 15 July 2014 (UTC)[reply]

Even though "arbitrarily close" is an expression that (I'm pretty sure) only mathematicians understand, nobody at all will understand "increasingly arbitrarily close". I think the text is acceptable already because the next sentence spells out what "arbitrarily close" means. "Monotonic" is mathematically incorrect: the differences do not have to continually decrease, but can go up and down provided that they eventually get small and stay small. McKay (talk) 05:34, 16 July 2014 (UTC)[reply]
No, arbitrarily close doesn't mean one could choose distance equal 1 and declare integers are arbitrarily close. Arbitrarily close means whatever distance you choose (whatever small in this case) the sequence terms eventually get closer to each other than your chosen distance; not only they will get closer than some specific threshold you chose (e.g. 1), but they will get closer than any threshold you can choose. --CiaPan (talk) 14:41, 22 July 2014 (UTC)[reply]

Broken LaTeX in this Article

[edit]

Most of the LaTeX in this article is broken. 174.124.71.135 (talk) 21:51, 20 October 2016 (UTC)[reply]

Problem with formal definition and harmonic series example

[edit]

In the 2nd paragraph of the introductory section of the article, the harmonic series is cited as an example of a series that does not converge, and then a formal definition of a Cauchy sequence is presented, intending to show that the harmonic series does not satisfy this definition.

However, the way this formal definition is presented here, the harmonic series in fact does satisfy it! For any given epsilon > 0, simply choose a value of N such that 1/N < epsilon. Then it is clear that for any pair m,n > N, |1/m - 1/n| < epsilon will indeed hold.

The actual formal definition that is necessary for the Cauchy convergence criterion is correctly stated on the pages for "Convergent series" (section "Cauchy convergence criterion") and "Cauchy's convergence test". In short, it is necessary that for any given epsilon > 0, there exists an N such that the absolute value of *any arbitrarily long sum of terms* beyond the Nth term is less than epsilon. — Preceding unsigned comment added by Rokirovka (talkcontribs) 11:29, 9 May 2018 (UTC)[reply]

@Rokirovka: Are you possibly confusing the harmonic sequence and the harmonic series...? The harmonic sequence is Cauchy, as you proove above, and convergent. However, the harmonic series, which is a sequence of partial sums of the harmonic sequence, is not convergent and not Cauchy, either. It does satisfy an intuitive requirement that neighboring terms are arbitrarily close to one another, but it does not satisfy the definition requirement that almost all terms (which means: all terms from some point onwards) are arbitrarily close to each other. --CiaPan (talk) 11:48, 9 May 2018 (UTC)[reply]
(Forgot to ping. --CiaPan (talk) 11:50, 9 May 2018 (UTC))[reply]
@CiaPan: Perhaps the issue here is the precise meaning of the notation. When I read the notation "a_n", whether in reference to the harmonic sequence or to the harmonic series, I interpret that as "the nth term of the harmonic sequence", that is, "1/n". I do not interpret the notation "a_n" as "the nth partial sum 1 + 1/2 + 1/3 + ... + 1/n", even if the preceding material uses the terminology "harmonic series" rather than "harmonic sequence". I think many other readers will have the same instinctive interpretation of this notation as I do, and thus I think the paragraph as it reads right now will be confusing and unclear to many readers. Rokirovka (talk) 15:06, 9 May 2018 (UTC)[reply]
@Rokirovka: But does not refer to a harmonic series or sequence at all! The series is shown as an example for what is not sufficient, then the 'more formal' description shows what is necessary. The intervening sentence starting with 'rather' emphasises that the latter is somewhat opposite to the former, hence the symbols used do not describe the same thing. The symbol is not associated with the series in the text, neither directly nor implicitly. --CiaPan (talk) 15:18, 9 May 2018 (UTC)[reply]
I agree with Rokirovka that the paragraph in question is not written very clearly and could lead to confusion (even though it does not contain any unambiguously false statements). --JBL (talk) 15:20, 9 May 2018 (UTC)[reply]
Yeah, maybe just using a quick example like the sequence could work just as well without any need to complicate the issue with series? –Deacon Vorbis (carbon • videos) 15:40, 9 May 2018 (UTC)[reply]

@Rokirovka, Joel B. Lewis, and Deacon Vorbis: I have replaced the paragraph with an example based on Special:Diff/840419862. Please see, verify and fix if necessary. --CiaPan (talk) 19:37, 9 May 2018 (UTC)[reply]

Bounded

[edit]

@CiaPan: In this edit you reverted an extension (by Madsmh) of boundedness to a more general case, calling it "inappropriate". Can you explain? --JBL (talk) 13:06, 13 December 2018 (UTC)[reply]

@JBL: Here is the answer I was going to give:
The notion of boundedness is defined for real or complex-valued functions, so it does not automatically extend over functions (sequences, in this case) in any metric space. Even if we'd like to make some WP:OR on this, the boundedness is essentially defined with the inequality
in general, or
for sequences, which has to be satisfied by all x-es or all n-s for some real M.
This implies some real norm must be defined on the space, from which our sequence comes, hence it must be at least some normed vector space, not any metric space. Metric provides the means for defining closeness, which lets us tell whether sequence's terms get close to each other; but is does not let us define a boundedness. Hence using boundedness in 'any metric space' is inappropriate.
This is a difference e.g. between a 'pure' Euclidean plane and an Euclidean plane with Cartesian coordinates. The latter defines some specific point as the origin of the system (plus two axes) and assigns coordinates to points, which makes the plane a vector space with a norm . However, the former is just a metric space: we can determine a distance between any two given points in it but there is no norm, no 'absolute value', because there is no predefined 'origin' for determining the distance. We can test for a sequence of points on a plane whether the points become arbitrarily close to each other; but we don't have an 'absolute value' for any point to compare to any M.
However, now I found that the article Bounded function, linked in the paragraph, explicitly defines boundedness for any metric space with arbitrary choice of any point in the space as an 'origin', from which the distances are measured. So now I stand corrected, and I restore what I reverted before. It's never too late to learn :) Anyway, the 'absolute value' part is still incorrect and I replaced it. --CiaPan (talk) 22:15, 13 December 2018 (UTC)[reply]

Infinite sequence

[edit]

It seems to me that a Cauchy sequence must be an infinite sequence. Is that correct? If so, I think "infinite" should be part of the definition of Cauchy sequence. There can be finite sequences, but a Cauchy sequence surely must be infiite. Dratman (talk) 21:15, 17 July 2021 (UTC)[reply]

Dark Mode Compatibility in Wikipedia App

[edit]

If the official Wikipedia App is supporting dark mode it's strange to see that some articles prefer this recommended style while most articles do it the other way and it works. So how can we solve this problem without this style change? It is definitely no solution to use light mode here because this should work out of box and my edit was the only workaround I could see from other major math articles. 2A02:6D40:21F1:D200:8542:4B01:AC3B:E45C (talk) 07:25, 12 February 2022 (UTC)[reply]

This is a known issue (see T182128 and T268279) and the correct solution is not to break other things (colon-indenting equations apparently causes issues for screen-readers which, unlike dark mode, is not something readers can easily adjust on their end) but to leave comments or ticket requests in the hope the developers of the app fix the issue sooner rather than later. --JBL (talk) 21:28, 12 February 2022 (UTC)[reply]

Fundamental sequence

[edit]

@JayBeeEll: if you don't object the information about the name "fundamental sequence", why don't you move it then to the place you want it instead of reverting my edit? That is not a valid excuse to revert (see Wikipedia:Revert only when necessary). The name "fundamental sequence" is a common name particularly by Russian authors in functional analysis.--Tensorproduct (talk) 20:17, 1 September 2023 (UTC)[reply]

Because of the three options (1) don't include the information, (2) include it where you put it, and (3) include it somewhere else, I am indifferent between (1) and (3), whereas (2) is clearly worse. You evidently think it is worth including, then be my guest -- in a way that doesn't obviously make the article worse. --JBL (talk) 21:12, 1 September 2023 (UTC)[reply]
@JayBeeEll Explain how it makes the article worse, that is not an objective statement but your opinion. The name "fundamental sequence" is used in many books and I added one reference.--Tensorproduct (talk) 21:15, 1 September 2023 (UTC)[reply]

A Cauchy sequence is also called a fundamental sequence

[edit]

A Cauchy sequence is also called a fundamental sequence. There are many math books (by big mathematicians such as Israel Gelfand) that use the word fundamental sequence instead of Cauchy sequence. I used as a source a book by another mathematician Heinz-Dieter Ebbinghaus. If I remember correctly, it was the original name before people started to call it a Cauchy sequence. The user User:JayBeeEll keeps on reverting my edit without giving me a proper explanation. The user only says it makes the article worse but does not explain why or even discuss the issue properly. I think this is an important piece of information for an encyclopedia and it should be in the article. And in no way makes it the article worse.--Tensorproduct (talk) 23:26, 1 September 2023 (UTC)[reply]

As a working mathematician I have never before heard the term "fundamental sequence," but it does seem to appear in some books. (I know that my personal experience is not relevant and that we rely on sources....) The present version with "seldom" seems ok to me, I would understand an editor who thought it should be later in the lead section/made less prominent in some other way, as I do not believe that this term is in common contemporary usage. CapitalSasha ~ talk 03:10, 2 September 2023 (UTC)[reply]
@CapitalSasha If I remember correctly the term fundamental sequence is actually the real historical name for the Cauchy sequence before people used the word Cauchy sequence. Obviously such sequences were known by people like Leonhard Euler before Cauchy even lived. It seems to me that the term is more common in the literature of German and Russian authors in functional analysis than French authors. However the name appears in some real classical books from Analysis like "generalized functions" by Israel Gelfand and Georgiy Shilov, which is such an important series that the relevance is clearly there (it's the book where Gelfand triples, countably normed space, Gelfand-Shilov spaces, generalized functions etc. are introduced). Anyone studying seriously analysis will eventually come across the term.--Tensorproduct (talk) 04:03, 2 September 2023 (UTC)[reply]
BTW: At the bottom of the article is a link to the Encyclopedia of Mathematics by Springer which says also "fundamental sequence".--Tensorproduct (talk) 10:11, 2 September 2023 (UTC)[reply]
Edit nr 2: I forgot to address your claim that "the term is not in contemporary usage". That is not true, see for example "The Method of Rigged Spaces in Singular Perturbation Theory of Self-Adjoint Operators" by Volodymyr Koshmanenko and Mykola Dudkin. That is a book from 2016 and they used this term (and many more do). It is a new book not a new edition of an old one.--Tensorproduct (talk) 13:28, 2 September 2023 (UTC)[reply]
I think the current phrasing of "seldom" is good, then. CapitalSasha ~ talk 14:13, 2 September 2023 (UTC)[reply]
All this huffing and puffing, before you bothered to ask: why is it worse? The answer is, it is obviously bad to make the first sentence of an article a meandering journey through etymology and terminology before it gets to substance. I have fixed it for you; you're welcome. --JBL (talk) 17:17, 3 September 2023 (UTC)[reply]
@JayBeeEll I also think it's quite "unfriendly" that you call the input of another mathematician "huffing and puffing". But what I learned here, everybody knows it better. --Tensorproduct (talk) 22:53, 12 January 2024 (UTC)[reply]
@Tensorproduct: I don't think this talk-page is a very good place for a discussion of personal behavior, but since you started it here, I will respond here. My initial reversion of your addition was polite; if you had, at that moment, opened a discussion on this page (as suggested by WP:BRD) or my user-talk and said "I don't understand what you object to about the placement, could you clarify?" then we would have had a short and constructive discussion, with the same endpoint (the information you added included, in a way that doesn't overburden the lead sentence). Instead, you reverted me again, and then wrote a long and defensive post that doesn't address in any way my objection. Could everyone in this interaction have done better? Probably so. I think it is a shame that this still bothers you four months later, and I apologize for reverting rather than improving in the first place. --JBL (talk) 23:57, 12 January 2024 (UTC)[reply]
@JayBeeEll Well I added a good source by a relatively well-kown mathematician Heinz-Dieter Ebbinghaus, I thought this would be sufficient. Especially since his terminology has some authority in the math community.--Tensorproduct (talk) 21:54, 20 January 2024 (UTC)[reply]
The parenthetical in this version is awkward and makes getting to the actual substance more difficult. It's also tonally inconsistent: why is a term that is "seldom" used the second most prominent thing about the topic? Out of curiosity, I checked the Google Scholar numbers for both terms; "Cauchy sequence" gives about 64,500 results and "fundamental sequence" about 7,280, including what look to be a fair number of false positives. Such figures can only give the coarsest possible comparison, of course, but a ratio that lopsided is a pretty good indication that one term really is more commonly used than the other. XOR'easter (talk) 22:49, 3 September 2023 (UTC)[reply]
@JayBeeEll I did ask "why does it make the article worse"? You didn't feel to respond nor having a discussion.
I also have never heard that it is policy on Wikipedia to have a specific ordering or place in the article for terminology. There are many math articles that start by listening all the names, here a short list I can think of:
so it's not policy. Obviously I do not care where the information is placed, I just had a problem with the unjustified reverting you did, you should have made first some research on the terminology if you didn't knew it.
@XOR'easter Does it matter which term is more used? The term is still widely used in the mathematics literature. It's common in functional analysis and stochastic calculus. And it's even more common if you look in other languages than English. Maybe the word seldom was a bit exaggerated. And do you really believe the statement "makes getting to the actual substance more difficult"? It's just another name in the bracket (as it is in many other articles) that the reader can skip. But again, I never cared where the term is place.--Tensorproduct (talk) 14:47, 4 September 2023 (UTC)[reply]
How can an English term be more common in languages other than English? CapitalSasha ~ talk 15:15, 4 September 2023 (UTC)[reply]
@CapitalSasha I was referring to the term "fundamental" obviously not the "sequence" part. "Fundamental sequence" is in German "Fundamentalfolge", in Russian "fundamental'naya posledovatel'nost" (that is even the Wikipedia name for the article) and in Italian "successione fondamentale". It seems to me that especially Russian authors use the name "fundamental sequence" rather than "Cauchy sequence".--Tensorproduct (talk) 15:53, 4 September 2023 (UTC)[reply]
Sure, but there are many words in math where the cognate of a foreign-language term is not used in English. For example, what we call a manifold is in French a variété.... Of course, this often leads to the cognate moving to English, as well, as you note. (I believe this is the origin of algebraic variety.) CapitalSasha ~ talk 16:18, 4 September 2023 (UTC)[reply]
@CapitalSasha But the word fundamental sequence is used in English literature as well (as for example in the books I have mentioned above). Also you can not compare this with "manifold", since "manifold" is a Germanic word and comes from middle English/German, that is why there is no word like that in French (in German there exists also the adjective "mannigfaltig"). Fundamental however comes from Latin and is used in English, French and German too.--Tensorproduct (talk) 17:03, 4 September 2023 (UTC)[reply]
Um, yes, I do believe what I wrote; otherwise, I wouldn't have written it. XOR'easter (talk) 03:09, 5 September 2023 (UTC)[reply]
let's try to reduce the temperature here, are there any objections to the current phrasing? CapitalSasha ~ talk 04:53, 5 September 2023 (UTC)[reply]
For me it's fine this way. I never cared about the placement of the word. JBL talks about "huffing and puffing", while the user could have just simply rephrased it the way the user wants it instead of doing these unjustified reverts. How was I supposed to know how the users wants the phrasing.
I find it strange that nobody has heard about this terminology. My research background is probability theory, but I have read a lot about analysis and I have seen many authors using this word.
I am not an expert on the history of math but I assume that a Cauchy sequence was also called "fundamental sequence" in the English-speaking world before the name Cauchy sequence was used, since as far as I know, it was the original name for such sequences.--Tensorproduct (talk) 07:47, 5 September 2023 (UTC)[reply]