<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Exterior_angle_theorem</id>
	<title>Exterior angle theorem - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Exterior_angle_theorem"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Exterior_angle_theorem&amp;action=history"/>
	<updated>2026-05-29T20:57:43Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Exterior_angle_theorem&amp;diff=22861&amp;oldid=prev</id>
		<title>en&gt;Wcherowi: fix vandalism</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Exterior_angle_theorem&amp;diff=22861&amp;oldid=prev"/>
		<updated>2013-12-18T03:58:09Z</updated>

		<summary type="html">&lt;p&gt;fix vandalism&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;In [[statistics]], &amp;#039;&amp;#039;&amp;#039;Fisher consistency&amp;#039;&amp;#039;&amp;#039;, named after [[Ronald Fisher]], is a desirable property of an [[estimation theory|estimator]] asserting that if the estimator were calculated using the entire [[statistical population|population]] rather than a [[sample (statistics)|sample]], the true value of the estimated parameter would be obtained. &amp;lt;ref&amp;gt;{{cite journal | last=Fisher | first=R.A. |authorlink=Ronald Fisher | journal= Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Character | title=On the mathematical foundations of theoretical statistics |  volume=222 | year=1922 | pages=309–368 | url=http://digital.library.adelaide.edu.au/dspace/handle/2440/15172 |doi=10.1098/rsta.1922.0009 | jstor=91208 | jfm=48.1280.02 | issue=594–604 }}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Definition ==&lt;br /&gt;
&lt;br /&gt;
Suppose we have a [[sample (statistics)|statistical sample]] &amp;#039;&amp;#039;X&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;, ..., &amp;#039;&amp;#039;X&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt; where each &amp;#039;&amp;#039;X&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;i&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt; follows a [[cumulative distribution]] &amp;#039;&amp;#039;F&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;θ&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt; which depends on an unknown [[parameter]] &amp;#039;&amp;#039;θ&amp;#039;&amp;#039;.  If an estimator of &amp;#039;&amp;#039;θ&amp;#039;&amp;#039; based on the sample can be represented as a [[functional (mathematics)|functional]] of the [[empirical distribution function]] &amp;#039;&amp;#039;F̂&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039;:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;\hat{ \theta } =T(\hat F_n) \,,&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
the estimator is said to be &amp;#039;&amp;#039;Fisher consistent&amp;#039;&amp;#039; if: &lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;T(F_\theta) = \theta \, . &amp;lt;/math&amp;gt;&amp;lt;ref&amp;gt;Cox, D.R., Hinkley D.V. (1974) &amp;#039;&amp;#039;Theoretical Statistics&amp;#039;&amp;#039;, Chapman and Hall, ISBN 0-412-12420-3. (defined on p287)&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
As long as the &amp;#039;&amp;#039;X&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;i&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt; are [[exchangeable random variables|exchangeable]], an estimator &amp;#039;&amp;#039;T&amp;#039;&amp;#039; defined in terms of the &amp;#039;&amp;#039;X&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;i&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt; can be converted into an estimator &amp;#039;&amp;#039;T&amp;amp;prime;&amp;#039;&amp;#039; that can be defined in terms of &amp;#039;&amp;#039;F̂&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039; by averaging &amp;#039;&amp;#039;T&amp;#039;&amp;#039; over all permutations of the data.  The resulting estimator will have the same expected value as &amp;#039;&amp;#039;T&amp;#039;&amp;#039; and its variance will be no larger than that of &amp;#039;&amp;#039;T&amp;#039;&amp;#039;.&lt;br /&gt;
&lt;br /&gt;
If the [[strong law of large numbers]] can be applied, the empirical distribution functions &amp;#039;&amp;#039;F̂&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039; converge pointwise to &amp;#039;&amp;#039;F&amp;lt;sub&amp;gt;θ&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039;, allowing us to express Fisher consistency as a limit &amp;amp;mdash; the estimator is &amp;#039;&amp;#039;Fisher consistent&amp;#039;&amp;#039; if&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt; T \left( \lim_{n\rightarrow\infty} \hat F_n \right) = \theta. \, &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Finite population example==&lt;br /&gt;
&lt;br /&gt;
Suppose our sample is obtained from a finite population &amp;#039;&amp;#039;Z&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;, ..., &amp;#039;&amp;#039;Z&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;m&amp;lt;/sub&amp;gt;.  We can represent our sample of size &amp;#039;&amp;#039;n&amp;#039;&amp;#039; in terms of the proportion of the sample &amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;i&amp;lt;/sub&amp;gt;&amp;amp;nbsp;/&amp;amp;nbsp;&amp;#039;&amp;#039;n&amp;#039;&amp;#039; taking on each value in the population.  Writing our estimator of θ as &amp;#039;&amp;#039;T&amp;#039;&amp;#039;(&amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;&amp;amp;nbsp;/&amp;amp;nbsp;&amp;#039;&amp;#039;n&amp;#039;&amp;#039;, ..., &amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;m&amp;lt;/sub&amp;gt;&amp;amp;nbsp;/&amp;amp;nbsp;&amp;#039;&amp;#039;n&amp;#039;&amp;#039;), the population analogue of the estimator is &amp;#039;&amp;#039;T&amp;#039;&amp;#039;(&amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;, ..., &amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;m&amp;lt;/sub&amp;gt;), where p&amp;lt;sub&amp;gt;i&amp;lt;/sub&amp;gt;&amp;amp;nbsp;=&amp;amp;nbsp;&amp;#039;&amp;#039;P&amp;#039;&amp;#039;(&amp;#039;&amp;#039;X&amp;#039;&amp;#039;&amp;amp;nbsp;=&amp;amp;nbsp;&amp;#039;&amp;#039;Z&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;i&amp;lt;/sub&amp;gt;).  Thus we have &amp;#039;&amp;#039;Fisher consistency&amp;#039;&amp;#039; if &amp;#039;&amp;#039;T&amp;#039;&amp;#039;(&amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;, ..., &amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;m&amp;lt;/sub&amp;gt;)&amp;amp;nbsp;=&amp;amp;nbsp;θ.&lt;br /&gt;
&lt;br /&gt;
Suppose the parameter of interest is the [[expected value]] μ and the estimator is the [[arithmetic mean|sample mean]], which can be written &lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;&lt;br /&gt;
n^{-1}\sum_{i=1}^n\sum_{j=1}^mI(X_i=Z_j)Z_j,&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where &amp;#039;&amp;#039;I&amp;#039;&amp;#039; is the [[indicator function]].  The population analogue of this expression is &lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;&lt;br /&gt;
n^{-1}\sum_{i=1}^n\sum_{j=1}^mp_jZ_j = n^{-1}\sum_{i=1}^n\mu = \mu,&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
so we have Fisher consistency.&lt;br /&gt;
&lt;br /&gt;
== Role in maximum likelihood estimation ==&lt;br /&gt;
&lt;br /&gt;
Maximising the likelihood function &amp;#039;&amp;#039;L&amp;#039;&amp;#039; gives an estimate that is Fisher consistent for a parameter &amp;#039;&amp;#039;b&amp;#039;&amp;#039; if&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt; E\left[ \frac{d\ln L}{db} \right] = 0\text{ at }b=b_0, \,&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where &amp;#039;&amp;#039;b&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt; represents the true value of &amp;#039;&amp;#039;b&amp;#039;&amp;#039;.&amp;lt;ref&amp;gt;{{cite book | last = Jurečková | first = Jana | authorlink = | coauthors = Jan Picek | title = Robust Statistical Methods with R | publisher = CRC Press | date = 2006 | location = | pages = | url = | doi = | id = | isbn = 1-58488-454-1 }}&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;http://economics.about.com/library/glossary/bldef-fisher-consistency.htm&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Relationship to asymptotic consistency and unbiasedness==&lt;br /&gt;
&lt;br /&gt;
The term &amp;#039;&amp;#039;consistency&amp;#039;&amp;#039; in statistics usually refers to an estimator that is [[consistent estimator|asymptotically consistent]].  Fisher consistency and asymptotic consistency are distinct concepts, although both aim to define a desirable property of an estimator.  While many estimators are consistent in both senses, neither definition encompasses the other.  For example, suppose we take an estimator &amp;#039;&amp;#039;T&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt; that is both Fisher consistent and asymptotically consistent, and then form &amp;#039;&amp;#039;T&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;&amp;amp;nbsp;+&amp;amp;nbsp;&amp;#039;&amp;#039;E&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;, where &amp;#039;&amp;#039;E&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt; is a deterministic sequence of nonzero numbers converging to zero.  This estimator is asymptotically consistent, but not Fisher consistent for any &amp;#039;&amp;#039;n&amp;#039;&amp;#039;.  Alternatively, take a sequence of Fisher consistent estimators &amp;#039;&amp;#039;S&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;, then define &amp;#039;&amp;#039;T&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;&amp;amp;nbsp;=&amp;amp;nbsp;S&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt; for &amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;amp;nbsp;&amp;lt;&amp;amp;nbsp;n&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;, and &amp;#039;&amp;#039;T&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;&amp;amp;nbsp;=&amp;amp;nbsp;&amp;#039;&amp;#039;S&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;n&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;&amp;lt;/sub&amp;gt; for all &amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;amp;nbsp;≥&amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;.  This estimator is Fisher consistent for all &amp;#039;&amp;#039;n&amp;#039;&amp;#039;, but not asymptotically consistent.  A concrete example of this construction would be estimating the population mean as &amp;#039;&amp;#039;X&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt; regardless of the sample size.&lt;br /&gt;
&lt;br /&gt;
The sample mean is a Fisher consistent and [[bias of an estimator|unbiased]] estimate of the population mean, but not all Fisher consistent estimates are unbiased.  Suppose we observe a sample from a [[uniform distribution (continuous)|uniform distribution]] on (0,θ) and we wish to estimate θ.  The sample maximum is Fisher consistent, but downwardly biased.  Conversely, the sample variance is an unbiased estimate of the population variance, but is not Fisher consistent.&lt;br /&gt;
&lt;br /&gt;
==Role in decision theory==&lt;br /&gt;
A loss function is Fisher consistent if the population minimizer of the risk leads to the Bayes optimal decision rule.&amp;lt;ref&amp;gt;http://www.stat.osu.edu/~yklee/881/consistency.pdf&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
{{reflist}}&lt;br /&gt;
&lt;br /&gt;
[[Category:Statistical theory]]&lt;br /&gt;
[[Category:Statistical terminology]]&lt;/div&gt;</summary>
		<author><name>en&gt;Wcherowi</name></author>
	</entry>
</feed>