<?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=Demand</id>
	<title>Demand - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Demand"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Demand&amp;action=history"/>
	<updated>2026-04-18T17:37:17Z</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=Demand&amp;diff=13548&amp;oldid=prev</id>
		<title>108.242.176.37: Undid revision 577969199 by 14.99.180.21 (talk)</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Demand&amp;diff=13548&amp;oldid=prev"/>
		<updated>2014-02-02T21:29:08Z</updated>

		<summary type="html">&lt;p&gt;Undid revision 577969199 by &lt;a href=&quot;/wiki/Special:Contributions/14.99.180.21&quot; title=&quot;Special:Contributions/14.99.180.21&quot;&gt;14.99.180.21&lt;/a&gt; (&lt;a href=&quot;/index.php?title=User_talk:14.99.180.21&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;User talk:14.99.180.21 (page does not exist)&quot;&gt;talk&lt;/a&gt;)&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{Unreferenced|date=December 2009}}&lt;br /&gt;
In [[topology]], a [[compact set|compact]] [[codimension]] one [[submanifold]] &amp;lt;math&amp;gt;F&amp;lt;/math&amp;gt; of a [[manifold]] &amp;lt;math&amp;gt;M&amp;lt;/math&amp;gt; is said to be &amp;#039;&amp;#039;&amp;#039;2-sided&amp;#039;&amp;#039;&amp;#039; in &amp;lt;math&amp;gt;M&amp;lt;/math&amp;gt; when there is an [[embedding]] &lt;br /&gt;
::&amp;lt;math&amp;gt;h\colon F\times [-1,1]\to M&amp;lt;/math&amp;gt; &lt;br /&gt;
with &amp;lt;math&amp;gt;h(x,0)=x&amp;lt;/math&amp;gt; for each &amp;lt;math&amp;gt;x\in F&amp;lt;/math&amp;gt; and &lt;br /&gt;
::&amp;lt;math&amp;gt;h(F\times [-1,1])\cap \partial M=h(\partial F\times [-1,1])&amp;lt;/math&amp;gt;.&lt;br /&gt;
In other words, if its [[normal bundle]] is trivial.&lt;br /&gt;
&lt;br /&gt;
This means, for example that a curve in a surface is 2-sided if it has a [[tubular neighborhood]] which is a cartesian product of the curve times an interval.&lt;br /&gt;
&lt;br /&gt;
A submanifold which is not 2-sided is called 1-sided.&lt;br /&gt;
&lt;br /&gt;
==Examples==&lt;br /&gt;
=== Surfaces ===&lt;br /&gt;
For curves on surfaces, a curve is 2-sided if and only if it preserves orientation, and 1-sided if and only if it reverses orientation: a tubular neighborhood is then a [[Möbius strip]]. This can be determined from the class of the curve in the [[fundamental group]] of the surface and the [[orientation character]] on the fundamental group, which identifies which curves reverse orientation.&lt;br /&gt;
* An embedded circle in the plane is 2-sided.&lt;br /&gt;
* An embedded circle generating the [[fundamental group]] of the [[real projective plane]] (such as an &amp;quot;equator&amp;quot; of the projective plane – the image of an equator for the sphere) is 1-sided, as it is orientation-reversing.&lt;br /&gt;
&lt;br /&gt;
==Properties==&lt;br /&gt;
Cutting along a 2-sided manifold can separate a manifold into two pieces – such as cutting along the equator of a sphere or around the sphere on which a [[connected sum]] has been done – but need not, such as cutting along a curve on the [[torus]].&lt;br /&gt;
&lt;br /&gt;
Cutting along a (connected) 1-sided manifold does not separate a manifold, as a point that is locally on one side of the manifold can be connected to a point that is locally on the other side (i.e., just across the submanifold) by passing along an orientation-reversing path.&lt;br /&gt;
&lt;br /&gt;
Cutting along a 1-sided manifold may make a non-orientable manifold orientable – such as cutting along an equator of the real projective plane – but may not, such as cutting along a 1-sided curve in a higher genus non-orientable surface,&lt;br /&gt;
maybe the simplest example of this is seen when one cut a [[mobius band]] along its &amp;#039;&amp;#039;&amp;#039;core curve&amp;#039;&amp;#039;&amp;#039;.&lt;br /&gt;
&lt;br /&gt;
{{DEFAULTSORT:2-Sided}}&lt;br /&gt;
[[Category:Geometric topology]]&lt;/div&gt;</summary>
		<author><name>108.242.176.37</name></author>
	</entry>
</feed>