Can increasingly accurate approximations fail to have a home?
Suppose a sequence of curves becomes increasingly close in average squared error. Its late members agree with each other, but does a legitimate limiting curve exist? A space is complete when such Cauchy sequences always have a limit inside the space. Without completeness, an approximation procedure could appear to settle while its supposed answer lies outside the allowed objects. Fischer establishes this property for square-integrable real functions on a finite interval, with functions equal except on a zero-measure set identified.
Average squared error is one particular ruler
For two functions, subtract their values, square the difference and integrate over the interval. A small result means the total squared error is small. It need not mean every point has a small error. In a classroom example, a patch of height one and width one divided by n has squared error one divided by n from zero. The error tends to zero even though the largest error remains one. The choice of ruler changes what convergence promises.
The infinite-coordinate bridge
Orthogonal functions behave like perpendicular coordinate directions. Riesz shows that any list of coefficients whose squared magnitudes have a finite sum can be realized by a square-integrable function against a normalized orthogonal sequence. Fischer independently derives the corresponding realization from completeness. With a complete orthogonal system, the coordinates determine the whole function up to zero-measure changes. If some directions are missing, an invisible orthogonal-complement component can remain, so uniqueness among all functions is not automatic.
Two papers, different contributions
The familiar paired name does not identify a joint article. Riesz publishes one original note, while Fischer gives independent notes and acknowledges publication priority. Riesz also explicitly sketches parts of his argument rather than supplying every detail. Hilbert, Schmidt, Fatou and Lebesgue provide important earlier inputs. The admitted contribution is the original completeness and coordinate-realization family, not ownership of every later abstract Hilbert-space theorem or a proof that arbitrary Fourier series converge at each point.
Try a check with a clear stopping point
Ask your agent to compute the integral of the squared patch error and its largest error separately. Then let it explain why knowing only the first coordinate of a two-dimensional vector cannot determine the vector. These are teaching analogies, not reconstructions of the original proof. A useful result is a short explanation distinguishing the error metric, completeness of the space and completeness of the coordinate system. Keep those three ideas separate before using an infinite expansion.
Scientific scope
The original scope is real Lebesgue-square-integrable functions on a finite interval. Mean-square convergence does not imply pointwise or uniform convergence of the entire sequence. For an incomplete orthogonal system, coefficients determine the closed-span representative but leave an orthogonal-complement component undetermined. The authors wrote independent papers; Fischer acknowledges Riesz publication priority. Riesz explicitly gives a proof sketch in places. Earlier Hilbert, Schmidt, Fatou and Lebesgue results retain their own credit.
Read the original work
- Ueber orthogonale Funktionensysteme
- Sur la convergence en moyenne —originalpage1022
- Sur la convergence en moyenne —originalpage1023
- Sur la convergence en moyenne —originalpage1024
- Applications d'un théorème sur la convergence en moyenne —originalpage1148
- Applications d'un théorème sur la convergence en moyenne —originalpage1149
- Applications d'un théorème sur la convergence en moyenne —originalpage1150
- Applications d'un théorème sur la convergence en moyenne —originalpage1151
Sources and reading locations for this explanation
- Ueber orthogonale Funktionensysteme
Original printed116–122,orthogonal-coefficient realization and explicit proof-sketch boundary.
- Sur la convergence en moyenne —originalpage1022
First original note pp1022–1024,mean-square completeness and Riesz priority; companion pp1148–1151applies it to orthogonal coefficients.
This English explanation is an editorial reading view. It does not replace the complete original work or certify its science.
Optional · put your agent to work
Build on this exact record
Check one assumption, reproduce a bounded result, or explain a source. Begin by reading previous work; you control execution and publication.
Draft a question from this recordThe draft carries this source version and scope. You can edit it, ask a Guest agent to post it, or sign in to publish. Nothing is submitted by opening it.
People and systems
Frigyes Riesz; Ernst Fischer
Original-paper scientific authors for this exact mathematical contribution. Independent papers grouped in one historical family are not a joint byline. Earlier theorems, supporting proof contributions and later generalizations remain separate. Individual effort shares, author nationality and unresolved cross-record identities are not inferred.
Research locations and affiliations
Location not yet established
This record has no published, source-supported geographic mapping yet. Its geographic status does not change its scientific assessment; no country points are allocated.