<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/w/index.php?action=history&amp;feed=atom&amp;title=Sammon_mapping</id>
	<title>Sammon mapping - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/w/index.php?action=history&amp;feed=atom&amp;title=Sammon_mapping"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Sammon_mapping&amp;action=history"/>
	<updated>2026-07-07T03:17:46Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.47.0-wmf.7</generator>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Sammon_mapping&amp;diff=17933&amp;oldid=prev</id>
		<title>en&gt;Yaris678: Wikilink</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Sammon_mapping&amp;diff=17933&amp;oldid=prev"/>
		<updated>2013-12-16T23:32:52Z</updated>

		<summary type="html">&lt;p&gt;Wikilink&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;In [[mathematics]], the &amp;#039;&amp;#039;&amp;#039;Dawson&amp;amp;ndash;Gärtner theorem&amp;#039;&amp;#039;&amp;#039; is a result in [[large deviations theory]].  Heuristically speaking, the Dawson&amp;amp;ndash;Gärtner theorem allows one to transport a [[large deviation principle]] on a “smaller” [[topological space]] to a “larger” one.&lt;br /&gt;
&lt;br /&gt;
==Statement of the theorem==&lt;br /&gt;
Let (&amp;#039;&amp;#039;Y&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;j&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;)&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;j&amp;#039;&amp;#039;∈&amp;#039;&amp;#039;J&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt; be a [[projective system]] of [[Hausdorff space|Hausdorff topological spaces]] with maps &amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;ij&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;&amp;amp;nbsp;:&amp;amp;nbsp;&amp;#039;&amp;#039;Y&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;j&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;&amp;amp;nbsp;→&amp;amp;nbsp;&amp;#039;&amp;#039;Y&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;i&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;.  Let &amp;#039;&amp;#039;X&amp;#039;&amp;#039; be the projective limit (also known as the inverse limit) of the system (&amp;#039;&amp;#039;Y&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;j&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;,&amp;amp;nbsp;&amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;ij&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;)&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;i&amp;#039;&amp;#039;,&amp;#039;&amp;#039;j&amp;#039;&amp;#039;∈&amp;#039;&amp;#039;J&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;, i.e.&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;X = \varprojlim_{j \in J} Y_{j} = \left\{ \left. y = (y_{j})_{j \in J} \in Y = \prod_{j \in J} Y_{j} \right| i &amp;lt; j \implies y_{i} = p_{ij} (y_{j}) \right\}.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Let (&amp;#039;&amp;#039;&amp;amp;mu;&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;&amp;amp;epsilon;&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;)&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;&amp;amp;epsilon;&amp;#039;&amp;#039;&amp;amp;gt;0&amp;lt;/sub&amp;gt; be a family of [[probability measure]]s on &amp;#039;&amp;#039;X&amp;#039;&amp;#039;.  Assume that, for each &amp;#039;&amp;#039;j&amp;#039;&amp;#039;&amp;amp;nbsp;∈&amp;amp;nbsp;&amp;#039;&amp;#039;J&amp;#039;&amp;#039;, the [[push-forward measure]]s (&amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;j&amp;#039;&amp;#039;∗&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039;&amp;amp;mu;&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;&amp;amp;epsilon;&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;)&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;&amp;amp;epsilon;&amp;#039;&amp;#039;&amp;amp;gt;0&amp;lt;/sub&amp;gt; on &amp;#039;&amp;#039;Y&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;j&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt; satisfy the large deviation principle with [[good rate function]] &amp;#039;&amp;#039;I&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;j&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;&amp;amp;nbsp;:&amp;amp;nbsp;&amp;#039;&amp;#039;Y&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;j&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;&amp;amp;nbsp;→&amp;amp;nbsp;&amp;#039;&amp;#039;&amp;#039;R&amp;#039;&amp;#039;&amp;#039;&amp;amp;nbsp;∪&amp;amp;nbsp;{+∞}.  Then the family (&amp;#039;&amp;#039;&amp;amp;mu;&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;&amp;amp;epsilon;&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;)&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;&amp;amp;epsilon;&amp;#039;&amp;#039;&amp;amp;gt;0&amp;lt;/sub&amp;gt; satisfies the large deviation principle on &amp;#039;&amp;#039;X&amp;#039;&amp;#039; with good rate function &amp;#039;&amp;#039;I&amp;#039;&amp;#039;&amp;amp;nbsp;:&amp;amp;nbsp;&amp;#039;&amp;#039;X&amp;#039;&amp;#039;&amp;amp;nbsp;→&amp;amp;nbsp;&amp;#039;&amp;#039;&amp;#039;R&amp;#039;&amp;#039;&amp;#039;&amp;amp;nbsp;∪&amp;amp;nbsp;{+∞} given by&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;I(x) = \sup_{j \in J} I_{j}(p_{j}(x)).&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
&lt;br /&gt;
* {{cite book&lt;br /&gt;
| last= Dembo&lt;br /&gt;
| first = Amir&lt;br /&gt;
| coauthors = Zeitouni, Ofer&lt;br /&gt;
| title = Large deviations techniques and applications&lt;br /&gt;
| series = Applications of Mathematics (New York) 38&lt;br /&gt;
| edition = Second edition&lt;br /&gt;
| publisher = Springer-Verlag&lt;br /&gt;
| location = New York&lt;br /&gt;
| year = 1998&lt;br /&gt;
| pages = xvi+396&lt;br /&gt;
| isbn = 0-387-98406-2&lt;br /&gt;
| mr = 1619036&lt;br /&gt;
}} (See theorem 4.6.1)&lt;br /&gt;
&lt;br /&gt;
{{DEFAULTSORT:Dawson-Gartner theorem}}&lt;br /&gt;
[[Category:Asymptotic analysis]]&lt;br /&gt;
[[Category:Large deviations theory]]&lt;br /&gt;
[[Category:Probability theorems]]&lt;/div&gt;</summary>
		<author><name>en&gt;Yaris678</name></author>
	</entry>
</feed>