Localization theorem (original) (raw)
In mathematics, particularly in integral calculus, the localization theorem allows, under certain conditions, to infer the nullity of a function given only information about its continuity and the value of its integral. Let F(x) be a real-valued function defined on some open interval Ω of the real line that is continuous in Ω. Let D be an arbitrary subinterval contained in Ω. The theorem states the following implication:
| Property | Value |
|---|---|
| dbo:abstract | In mathematics, particularly in integral calculus, the localization theorem allows, under certain conditions, to infer the nullity of a function given only information about its continuity and the value of its integral. Let F(x) be a real-valued function defined on some open interval Ω of the real line that is continuous in Ω. Let D be an arbitrary subinterval contained in Ω. The theorem states the following implication: A simple proof is as follows: if there were a point x0 within Ω for which F(x0) ≠ 0, then the continuity of F would require the existence of a neighborhood of x0 in which the value of F was nonzero, and in particular of the same sign than in x0. Since such a neighborhood N, which can be taken to be arbitrarily small, must however be of a nonzero width on the real line, the integral of F over N would evaluate to a nonzero value. However, since x0 is part of the open set Ω, all neighborhoods of x0 smaller than the distance of x0 to the frontier of Ω are included within it, and so the integral of F over them must evaluate to zero. Having reached the contradiction that ∫N F(x) dx must be both zero and nonzero, the initial hypothesis must be wrong, and thus there is no x0 in Ω for which F(x0) ≠ 0. The theorem is easily generalized to multivariate functions, replacing intervals with the more general concept of connected open sets, that is, domains, and the original function with some F(x) : Rn → R, with the constraints of continuity and nullity of its integral over any subdomain D ⊂ Ω. The proof is completely analogous to the single variable case, and concludes with the impossibility of finding a point x0 ∈ Ω such that F(x0) ≠ 0. (en) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Localization_Theorem.svg?width=300 |
| dbo:wikiPageID | 24526791 (xsd:integer) |
| dbo:wikiPageLength | 3852 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1031162753 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Real-valued_function dbr:Reynolds_transport_theorem dbr:Conservation_of_mass dbr:Continuous_function dbr:Mathematics dbr:Function_(mathematics) dbr:Control_volume dbr:Density dbr:Partial_differential_equation dbr:Interval_(mathematics) dbc:Integral_calculus dbr:Domain_(mathematical_analysis) dbr:Continuity_(mathematics) dbr:Integral_calculus dbr:Neighborhood_(mathematics) dbr:Open_set dbr:Real_line dbr:Multivariate_calculus dbr:File:Localization_Theorem.svg |
| dbp:wikiPageUsesTemplate | dbt:Clear dbt:Math dbt:Mvar dbt:Unreferenced |
| dct:subject | dbc:Integral_calculus |
| rdfs:comment | In mathematics, particularly in integral calculus, the localization theorem allows, under certain conditions, to infer the nullity of a function given only information about its continuity and the value of its integral. Let F(x) be a real-valued function defined on some open interval Ω of the real line that is continuous in Ω. Let D be an arbitrary subinterval contained in Ω. The theorem states the following implication: (en) |
| rdfs:label | Localization theorem (en) |
| owl:sameAs | freebase:Localization theorem wikidata:Localization theorem https://global.dbpedia.org/id/fR8Y |
| prov:wasDerivedFrom | wikipedia-en:Localization_theorem?oldid=1031162753&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Localization_Theorem.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Localization_theorem |
| is dbo:wikiPageDisambiguates of | dbr:Localization |
| is dbo:wikiPageWikiLink of | dbr:Localization |
| is foaf:primaryTopic of | wikipedia-en:Localization_theorem |
