Overspill

This article is about mathematics. For housing estates, see overspill estate.

In nonstandard analysis, a branch of mathematics, overspill (referred to as overflow by Goldblatt (1998, p. 129)) is a widely used proof technique. It is based on the fact that the set of standard natural numbers N is not an internal subset of the internal set *N of hypernatural numbers.

By applying the induction principle for the standard integers N and the transfer principle we get the principle of internal induction:

For any internal subset A of *N, if

  1. 1 is an element of A, and
  2. for every element n of A, n + 1 also belongs to A,

then

A = *N

If N were an internal set, then instantiating the internal induction principle with N, it would follow N = *N which is known not to be the case.

The overspill principle has a number of useful consequences:

  • The set of standard hyperreals is not internal.
  • The set of bounded hyperreals is not internal.
  • The set of infinitesimal hyperreals is not internal.

In particular:

  • If an internal set contains all infinitesimal non-negative hyperreals, it contains a positive non-infinitesimal (or appreciable) hyperreal.
  • If an internal set contains N it contains an unlimited (infinite) element of *N.

Example

These facts can be used to prove the equivalence of the following two conditions for an internal hyperreal-valued function ƒ defined on *R.

and

The proof that the second fact implies the first uses overspill, since given a non-infinitesimal positive ε,

Applying overspill, we obtain a positive appreciable δ with the requisite properties.

These equivalent conditions express the property known in nonstandard analysis as S-continuity (or microcontinuity) of ƒ at x. S-continuity is referred to as an external property. The first definition is external because it involves quantification over standard values only. The second definition is external because it involves the external relation of being infinitesimal.

References

  • Robert Goldblatt (1998). Lectures on the hyperreals. An introduction to nonstandard analysis. Springer.

Read other articles:

Hiu ekor merah

Red-tailed black shark Epalzeorhynchos bicolor A red-tailed black sharkStatus konservasiTerancam kritisIUCN7807 TaksonomiKerajaanAnimaliaFilumChordataKelasActinopteriOrdoCypriniformesFamiliCyprinidaeGenusEpalzeorhynchosSpesiesEpalzeorhynchos bicolor Smith, 1931 Tata namaSinonim takson Labeo bicolor Smith, 1931 DistribusiEndemikThailand lbs Hiu hitam ekor merah ( Epalzeorhynchos bicolor ; syn. Labeo bicolor ), atau hiu ekor merah saja dalah spesies ikan air tawar dalam keluarga ikan mas, ...

 

 

أكاديمية لارونج غار البوذية

أكاديمية لارونج غار البوذيةمعلومات عامةالبداية 19801880[1] الاسم الأصل གསེར་རྟ་བླ་རུང་ལྔ་རིག་ནང་བསྟན་སློབ་གླིང་ (بالتبتية) الدِّين نيينغما[1] المؤسس Khenpo Jigme Puntsok (en) البلد الصين تقع في التقسيم الإداري Nupzur (en) الإحداثيات 32°09′10″N 100°28′08″E / ࿯...

 

 

Pat Fitzgerald

American football player and coach (born 1974) For other people named Pat Fitzgerald, see Pat Fitzgerald (disambiguation). American football player Pat FitzgeraldFitzgerald at Welsh-Ryan Arena in 2013Personal informationBorn: (1974-12-02) December 2, 1974 (age 49)Midlothian, Illinois, U.S.Height:6 ft 2 in (1.88 m)Weight:243 lb (110 kg)Career informationHigh school:Carl Sandburg(Orland Park, Illinois)College:Northwestern (1993–1996)Undrafted:1997Career history A...

Groupe républicain au Sénat des États-Unis

Mitch McConnell, chef du groupe républicain au Sénat. Le groupe républicain (en anglais : Senate Republican Conference) au Sénat des États-Unis regroupe les élus à la chambre haute du Congrès affiliés au Parti républicain. Il est actuellement composé de 50 sénateurs sur les 100 que compte l'assemblée. Le groupe est présidé par Mitch McConnell depuis 2007. Direction À l'ouverture de la 117e législature du Congrès des États-Unis le 3 janvier 2021, le groupe est diri...

 

 

SS Deutschland (1900)

SS Deutschland History German Empire Name 1900–1910: Deutschland 1910–1920: Viktoria Luise 1920–1925: Hansa OwnerHamburg America Line Port of registryHamburg, Germany RouteTransatlantic Ordered1899 BuilderAG Vulcan, Stettin Cost12.500.000 Mark Yard number244 Laid down1899 Launched10 January 1900 CompletedJune 1900 Acquired25 June 1900 Maiden voyage5 July 1900 In service1900 Out of service1925 FateSold for scrap in France 1925 General characteristics [1] TypeOcean liner Tonnage1...

 

 

The Zeta Project

The Zeta Projectserie TV d'animazione Logo della serie Titolo orig.The Zeta Project Lingua orig.inglese PaeseStati Uniti AutoreRobert Goodman RegiaCurt Geda SoggettoHilary J. Bader, Kevin Hopps, Ralph Soll, Rich Fogel, Stacey Liss Goodman, Paul Diamond, Katy Cooper, Ned Teitelbaum, Joseph Kuhr, Randy Rogel, Lyle Weldon, David Benullo, Christopher Simmons StudioWarner Bros. Television 1ª TV27 gennaio 2001 – ...

C. W. Hume

British animal welfare activist and writer Charles Westley HumeOBEBorn13 January 1886Died22 September 1981 (1981-09-23) (aged 95)Occupation(s)Animal welfare worker, writer Major Charles Westley Hume (13 January 1886 – 22 September 1981)[1] OBE MC BSc was a British animal welfare worker and writer. Biography Hume graduated in physics from Birkbeck College. He was honorary secretary of the British Science Guild and edited the journal Proceedings of the Physical Society (1919...

 

 

2020 United States presidential election in Illinois

Main article: 2020 United States presidential election 2020 United States presidential election in Illinois ← 2016 November 3, 2020 2024 → Turnout72.14%   Nominee Joe Biden Donald Trump Party Democratic Republican Home state Delaware Florida Running mate Kamala Harris Mike Pence Electoral vote 20 0 Popular vote 3,471,915 2,446,891 Percentage 57.54% 40.55% County results Congressional district results Precinct results Biden   40–50% &...

 

 

بوبليتي (سيوداد ريال)

  بوبليتي (بالإسبانية: Poblete)‏[1]   - بلدية -    بوبليتي (سيوداد ريال) بوبليتي (سيوداد ريال) تقسيم إداري البلد إسبانيا  [2] المقاطعة مقاطعة ثيوداد ريال خصائص جغرافية إحداثيات 38°56′09″N 3°58′53″W / 38.935833333333°N 3.9813888888889°W / 38.935833333333; -3.9813888888889   &...

Hans-Jürgen Wallbrecht

West German rower You can help expand this article with text translated from the corresponding article in German. (March 2022) Click [show] for important translation instructions. View a machine-translated version of the German article. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pasting machine-translated text into th...

 

 

نجم مزدوج

الشعرى اليمانية ب كنقطة صغيرة يسار وأسفل النجم الكبير أ يشير النجم المزدوج إلى نجمين يبدوان قريبين حسبما يرى من الأرض.[1][2][3] يتكون من نجمين تربطهما قوى جاذبية يدوران حول بعضهما البعض كدوران الأرض حول الشمس وفي هذة الحالة يطلق عليها نجم ثنائي (بالإنجليزية: Binary sta...

 

 

Cross-country skiing at the 2014 Winter Olympics – Women's sprint

Women's sprintat the XXII Olympic Winter GamesVenueLaura Biathlon & Ski ComplexDates11 FebruaryCompetitors67 from 31 nationsWinning time2:35.49Medalists Maiken Caspersen Falla  Norway Ingvild Flugstad Østberg  Norway Vesna Fabjan  Slovenia← 20102018 → Cross-country skiing at the2014 Winter OlympicsQualificationDistanceClassicalmenwomenSkiathlonmenwomenMass startmenwomenRelaymenwomenSprintIndividualmenwomenTeammenwomenvte The women's freesty...

Alive Again (Cher song)

2002 single by CherAlive AgainSingle by Cherfrom the album Living Proof B-sideWhen You Walk AwayReleasedJune 11, 2002 (2002-06-11)Recorded2001; Modena One, Mothership Studios (England and in Los Angeles)[1]GenreTranceDance-pophouseLength4:19 (album version)3:31 (edit)LabelWEASongwriter(s)Nick BracegirdleRay HedgesTracy AckermanProducer(s)Nick BracegirdleRay HedgesCher singles chronology Song for the Lonely (2002) Alive Again (2002) A Different Kind of Love Song (2002) L...

 

 

Fire retardant

Substance reducing flammability This article is about substances used to fight structure fires and wildfires. For chemical retardants used in textiles and plastics, see Flame retardant. This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) The examples and perspective in this article may not represent a worldwide view of the subject. You may improve this article, discuss the issue on the talk p...

 

 

Theotokos of Port Arthur

Eastern Orthodox icon Theotokos of Port Arthur. Theotokos of Port Arthur (Our Lady of Port Arthur, also known in Russian as Theotokos upon Swords and the Far Eastern Gatekeeper[1]) is an Eastern Orthodox icon, representing the Theotokos (Virgin Mary) with the Mandylion and God the Father, flanked by two angels. The icon's dimensions (without frame) are approximately 124×77 cm. The icon is associated with the vision of an old veteran sailor, who came to pray in the Kiev Pechersk Lavra...

Proto-globalization

Early modern globalization Proto-globalization or early modern globalization is a period of the history of globalization roughly spanning the years between 1500 and 1800, following the period of archaic globalization. First introduced by historians A. G. Hopkins and Christopher Bayly, the term describes the phase of increasing trade links and cultural exchange that characterized the period immediately preceding the advent of so-called modern globalization in the 19th century.[1] Proto...

 

 

امرأة تقرأ رسالة (فيرمير)

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أغسطس 2021) امرأة تقرأ رسالة   معلومات فنية الفنان وسيط property غير متوفر. تاريخ إنشاء العمل 1664  الموقع متحف ريكز[1]  نوع العمل فن الحياة اليومية[2]  الموضوع...

 

 

Parlement de Toulouse

Parlement de Toulouse Rétablissement du Parlement, à Toulouse, en 1469 (Fonds Ancely, bibliothèque de Toulouse). Territoires où le parlement de Toulouse est la première cour d'appel Situation Création 11 octobre 1443 Dissolution 6 septembre 1790 Type Parlement Domaine Justice d'appel Siège Château narbonnais, puis Palais du Parlement (Toulouse) Coordonnées 43° 35′ 38″ N, 1° 26′ 40″ E Langue Latin, occitan et français Organisation Effectifs 17...

East Asian blepharoplasty

Cosmetic surgery for creating an eyelid crease East Asian blepharoplastyA South Korean woman, before (left) and after (right) undergoing East Asian blepharoplastyICD-9-CM08[edit on Wikidata] East Asian blepharoplasty, more commonly known as double eyelid surgery, is a cosmetic procedure that reshapes the skin around the eye to create a crease in an upper eyelid that naturally lacks one. This surgery is especially popular among individuals of East Asian descent, including those from Chines...

 

 

Carnegie Public Library (Big Timber, Montana)

United States historic placeCarnegie Public LibraryU.S. National Register of Historic Places Carnegie Public Library, January 2015Show map of MontanaShow map of the United StatesLocation314 McLeod StreetBig Timber, MontanaUnited StatesCoordinates45°49′57″N 109°57′7″W / 45.83250°N 109.95194°W / 45.83250; -109.95194Arealess than one acreBuilt1913Built byGagnon & Co.ArchitectLink and HaireArchitectural styleClassical RevivalNRHP reference N...