<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=80.82.201.0%2F24</id>
	<title>formulasearchengine - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=80.82.201.0%2F24"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/wiki/Special:Contributions/80.82.201.0/24"/>
	<updated>2026-08-08T05:32:51Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.47.0-wmf.7</generator>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Shot_transition_detection&amp;diff=12351</id>
		<title>Shot transition detection</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Shot_transition_detection&amp;diff=12351"/>
		<updated>2013-10-11T09:03:31Z</updated>

		<summary type="html">&lt;p&gt;80.82.201.37: /* Vastness of the problem */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&#039;&#039;&#039;Nielsen theory&#039;&#039;&#039; is a branch of mathematical research with its origins in [[topological]] [[fixed point theory]]. Its central ideas were developed by Danish mathematician [[Jakob Nielsen (mathematician)|Jakob Nielsen]], and bear his name.&lt;br /&gt;
&lt;br /&gt;
The theory developed in the study of the so-called &#039;&#039;minimal number&#039;&#039; of a [[map (mathematics)|map]] &#039;&#039;f&#039;&#039; from a [[compact (topology)|compact]] space to itself, denoted &#039;&#039;MF&#039;&#039;[&#039;&#039;f&#039;&#039;]. This is defined as:&lt;br /&gt;
:&amp;lt;math&amp;gt;\mathit{MF}[f] = \min \{ \# \mathrm{Fix}(g) \, | \, g \sim f \},&amp;lt;/math&amp;gt;&lt;br /&gt;
where &#039;&#039;~&#039;&#039; indicates [[homotopy]] of mappings, and #Fix(&#039;&#039;g&#039;&#039;) indicates the number of fixed points of &#039;&#039;g&#039;&#039;. The minimal number was very difficult to compute in Nielsen&#039;s time, and remains so today. Nielsen&#039;s approach is to group the fixed point set into classes, which are judged &amp;quot;essential&amp;quot; or &amp;quot;nonessential&amp;quot; according to whether or not they can be &amp;quot;removed&amp;quot; by a homotopy.&lt;br /&gt;
&lt;br /&gt;
Nielsen&#039;s original formulation is equivalent to the following:&lt;br /&gt;
We define an [[equivalence relation]] on the set of fixed points of a self-map &#039;&#039;f&#039;&#039; on a space &#039;&#039;X&#039;&#039;. We say that &#039;&#039;x&#039;&#039; is equivalent to &#039;&#039;y&#039;&#039; if and only if there exists a [[path (topology)|path]] &#039;&#039;c&#039;&#039; from &#039;&#039;x&#039;&#039; to &#039;&#039;y&#039;&#039; with &#039;&#039;f&#039;&#039;(&#039;&#039;c&#039;&#039;) homotopic to &#039;&#039;c&#039;&#039; as paths. The equivalence classes with respect to this relation are called the &#039;&#039;&#039;Nielsen classes&#039;&#039;&#039; of &#039;&#039;f&#039;&#039;, and the &#039;&#039;&#039;Nielsen number&#039;&#039;&#039; &#039;&#039;N&#039;&#039;(&#039;&#039;f&#039;&#039;) is defined as the number of Nielsen classes having non-zero [[fixed point index]] sum.&lt;br /&gt;
&lt;br /&gt;
Nielsen proved that&lt;br /&gt;
:&amp;lt;math&amp;gt;N(f) \le \mathit{MF}[f],&amp;lt;/math&amp;gt;&lt;br /&gt;
making his invariant a good tool for estimating the much more difficult &#039;&#039;MF&#039;&#039;[&#039;&#039;f&#039;&#039;]. This leads immediately to what is now known as the &#039;&#039;&#039;Nielsen fixed point theorem:&#039;&#039;&#039; &#039;&#039;Any map f has at least N(f) fixed points.&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
Because of its definition in terms of the [[fixed point index]], the Nielsen number is closely related to the [[Lefschetz number]]. Indeed, shortly after Nielsen&#039;s initial work, the two invariants were combined into a single &amp;quot;generalized Lefschetz number&amp;quot; (more recently called the [[Reidemeister trace]]) by [[Wecken]] and [[Reidemeister]].&lt;br /&gt;
&lt;br /&gt;
==Bibliography==&lt;br /&gt;
*{{cite book&lt;br /&gt;
 | last=[[Werner Fenchel|Fenchel]]&lt;br /&gt;
 | first=[[Werner Fenchel|Werner]]&lt;br /&gt;
 | coauthors=[[Jakob Nielsen (mathematician)|Nielsen, Jakob]]; edited by Asmus L. Schmidt&lt;br /&gt;
 | title=Discontinuous groups of isometries in the hyperbolic plane&lt;br /&gt;
 | series=De Gruyter Studies in mathematics&lt;br /&gt;
 | volume=29&lt;br /&gt;
 | publisher=Walter de Gruyter &amp;amp; Co.&lt;br /&gt;
 | location=Berlin&lt;br /&gt;
 | year=2003&lt;br /&gt;
}}&lt;br /&gt;
&lt;br /&gt;
==External links==&lt;br /&gt;
*[http://at.yorku.ca/t/a/i/c/39.htm Survey article on Nielsen theory] by Robert F. Brown at [[Topology Atlas]]&lt;br /&gt;
&lt;br /&gt;
[[Category:Fixed-point theorems]]&lt;br /&gt;
[[Category:Fixed points (mathematics)]]&lt;br /&gt;
[[Category:Topology]]&lt;/div&gt;</summary>
		<author><name>80.82.201.37</name></author>
	</entry>
</feed>