Privacy Policy Cookie Policy Terms and Conditions Boy's surface - Wikipedia, the free encyclopedia

Boy's surface

From Wikipedia, the free encyclopedia

An animation of Boy's surface

In geometry, Boy's surface is an immersion of the real projective plane in 3-dimensional space found by Werner Boy in 1901. Unlike the Roman surface and the cross-cap, it has no singularities (pinch points), but it does self-intersect.

To make a Boy's surface:

  1. Start with a sphere. Remove a cap.
  2. Attach one end of each of three strips to alternate sixths of the edge left by removing the cap.
  3. Bend each strip and attach the other end of each strip to the sixth opposite the first end, so that the inside of the sphere at one end is connected to the outside at the other. Make the strips skirt the middle rather than go through it.
  4. Join the loose edges of the strips. The joins intersect the strips.

Boy's surface is discussed (and illustrated) in Jean-Pierre Petit's Le Topologicon.

Boy's surface was first parametrized correctly by Bernard Morin in 1978. See below for another parametrization, discovered by R. Bryant.

Contents

[edit] Views of the Boy's surface from different directions

[edit] Sections of the Boy's surface

The Boy's surface can be cut into six sections. Let them be called A, B, C, D, E, and F. Then sections A, C, and E are mutually congruent, and sections B, D, and F are mutually congruent.

These six sections arrange themselves into a circle, or rather a hexagon: each section corresponding to one side of the hexagon. The sections are arranged in this order: A, B, C, D, E, F -- counterclockwise around the hexagon. Each section has three sides which have been shown as orange, green, and blue. Each section can be converted through a homotopy into a triangle. The colors of the edges show how the sections are supposed to fit together. Only sides of the same color are allowed to coincide.

Section A′s green edge matches section D′s, B′s green edge with E, C′s green edge with F. Thus, opposite sides of the hexagon match through the green sides.

Notice that if A is rotated counterclockwise by 120°, it looks the same as C, and if it is rotated further another 120° then it looks the same as E. A similar case holds for B, D, and F.

[edit] Pathways on a Boy's surface

Let a "topological ant" start out walking from the bottom of the Boy's surface (shown in Figure 12), on the outside. Let this ant walk along the green path into a cave entrance. This cave entrance is located under an archway which is like one of the tentacles of an octopus.

[edit] Parametrization of Boy's surface

Boy's surface can be parametrized in several ways. One parametrization, discovered by R. Bryant, is the following: given a complex number z whose magnitude is less than or equal to one, let

g_1 = -{3 \over 2} \mathrm{Im} \left( {z (1 - z^4) \over z^6 + \sqrt{5} z^3 - 1} \right),
g_2 = -{3 \over 2} \mathrm{Re} \left( {z (1 + z^4) \over z^6 + \sqrt{5} z^3 - 1} \right),
g_3 = \mathrm{Im} \left( {1 + z^6 \over z^6 + \sqrt{5} z^3 - 1}  \right) - {1 \over 2},
g = g_1^2 + g_2^2 + g_3^2,

so that

X = {g_1 \over g},
Y = {g_2 \over g},
Z = {g_3 \over g},

where X, Y, and Z are the desired Cartesian coordinates of a point on the Boy's surface.

[edit] Property of R. Bryant's parametrization

If z is replaced by the negative reciprocal of its complex conjugate, - {1 \over z^\star}, then the functions g1, g2, and g3 of z are left unchanged. (proof)

[edit] Relating the Boy's surface to the real projective plane

Let P(z) = (X(z),Y(z),Z(z)) denote a point on Boy's surface, where \| z \| \le 1. Then

P(z) = P\left( -{1 \over z^\star} \right)

but only if \| z \| = \sqrt{z z^\star} = 1. What if \| z \| < 1 ? Then

\left\| - {1 \over z^\star} \right\| > 1

because

- {1 \over z^\star} = {- z \over z^\star z} = {-z \over \| z \|^2}

whose magnitude is

{\| z \| \over \| z \|^2} = {1 \over \| z \|},

but \| z \| < 1, so that

{1 \over \| z \|} > 1.

Since P(z) belongs to the Boy's surface only when \|z\| \le 1, this means that P\left( - {1 \over z^\star} \right) belongs to Boy's surface only if \| z \| = 1. Thus P(z) = P( − z) if \| z \| = 1, but all other points on the Boy's surface are unique. The Boy's surface has been parametrized by a unit disk such that pairs of diametrically opposite points on the perimeter of the disk are equivalent identically. Therefore the Boy's surface is homeomorphic to the real projective plane, RP2.

[edit] Symmetry of the Boy's surface

Boy's surface has 3-fold symmetry. This means that it has an axis of discrete rotational symmetry: any 120° turn about this axis will leave the surface looking exactly the same. The Boy's surface can be cut into three mutually congruent pieces. (proof)

[edit] References

In other languages
THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu