overspill

　 　

WordNet

1. the relocation of people from overcrowded cities; they are accommodated in new houses or apartments in smaller towns

PrepTutorEJDIC

1. (都心が過密で)郊外に移る人々;(都市の)過剰人口

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2016/05/19 15:55:09」(JST)

wiki en

[Wiki en表示]

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

In non-standard 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 non-standard 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.

UpToDate Contents

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

• 1. 血液透析における緊急および長期ブラッドアクセスとしての中心静脈カテーテル central catheters for acute and chronic hemodialysis access

English Journal

• Influence of severity of illness on neutrophil gelatinase-associated lipocalin performance as a marker of acute kidney injury: a prospective cohort study of patients with sepsis.

• Vanmassenhove J, Glorieux G, Lameire N, Hoste E, Dhondt A, Vanholder R, Van Biesen W.
• BMC nephrology.BMC Nephrol.2015 Feb 13;16(1):18. doi: 10.1186/s12882-015-0003-y.
• BACKGROUND: The role of neutrophil gelatinase-associated lipocalin (NGAL) as a diagnostic marker for acute kidney injury (AKI) in sepsis is still debated. We hypothesized that in sepsis, the performance of serum(s) and urinary(u) NGAL can be negatively impacted by severity of illness and inflammatio
• PMID 25868473

• Otolaryngological presentations of Cornelia de Lange syndrome.

• Hamilton J1, Clement WA2, Kubba H3.
• International journal of pediatric otorhinolaryngology.Int J Pediatr Otorhinolaryngol.2014 Sep;78(9):1548-50. doi: 10.1016/j.ijporl.2014.05.032. Epub 2014 Jun 19.
• AIM: Children with Cornelia de Lange syndrome frequently present to otolaryngology services with hearing problems. Airway problems have not previously been reported. We wish to describe our experience of the overall management in a series of children with Cornelia de Lange syndrome.METHODS: Retrospe
• PMID 25060937

• Systemic and pulmonary inflammation is independent of skeletal muscle changes in patients with chronic obstructive pulmonary disease.

• Barker BL1, McKenna S1, Mistry V1, Pancholi M1, Patel H2, Haldar K3, Barer MR3, Pavord ID4, Steiner MC1, Brightling CE1, Bafadhel M4.
• International journal of chronic obstructive pulmonary disease.Int J Chron Obstruct Pulmon Dis.2014 Sep 15;9:975-81. doi: 10.2147/COPD.S63568. eCollection 2014.
• BACKGROUND: Nutritional depletion is an important manifestation of chronic obstructive pulmonary disease (COPD), which has been related to systemic inflammation. It remains unclear to what degree airway inflammation contributes to the presence or progression of nutritional depletion.OBJECTIVES: To d
• PMID 25246784

Japanese Journal

• 7306 屋外生活空間のしみ出し方による領域形成に関する研究(街路空間の利用,都市計画)

• 学術講演梗概集. F-1, 都市計画, 建築経済・住宅問題 2009, 681-682, 2009-07-20
• NAID 110007984555

• 建替え公営住宅の居住者による住環境評価 : 敦賀市和久野団地の調査より

• 福井大学工学部研究報告 53(1), 15-22, 2005-03-31
• NAID 110004634023

• 商店による公共空間の私的利用 : 商品等の溢れ出しにみる私的領域の形成要因(2002年度大会 (北陸) 学術講演梗概集)

• 学術講演梗概集. E-1, 建築計画I, 各種建物・地域施設, 設計方法, 構法計画, 人間工学, 計画基礎 2002, 1001-1002, 2002-06-30
• NAID 110004540927

Related Links

• Overspill - definition of overspill by The Free Dictionary

o·ver·spill (ō′vər-spĭl′) n. (ō′vər-spĭl′) 1. The fact or process of spilling over. 2. Something that spills over: an overspill of milk. 3. Chiefly British Movement of people from overcrowded cities to less populated areas. overspill n a.

• Overspill | Definition of Overspill by Merriam-Webster

Seen and Heard What made you want to look up overspill? Please tell us where you read or heard it (including the quote, if possible).

Related Pictures