mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Math

Reply
 
Thread Tools
Old 2007-10-05, 03:28   #1
nibble4bits
 
nibble4bits's Avatar
 
Nov 2005

2×7×13 Posts
Default n-Cylinders

Am I right in assuming that any (n+1)-cylinder (including slanted) can be made by taking a n-Sphere and extending it nondegeneratively along a line?

For example, using a circle defined like this:
x^2+y^2=1
Let z=0 to 5
The length of the cylinder is 5, with a diameter of 1.
ax+by+cz=k where k is a constant and cz<>0 allows for the creation of 'slanted' cylinders as well.

Is there a counter-example for higher dimensions?


Also, where else is this sequence seen?
1(1), 2(2), 3(4), 4(8), 5(16), 6(32)... (n+1)(2^n)
I found it for the m-plane cross sections of a n-sphere. Let 0<m<n+1 with both variables in the set of positive integers. It turns out that you can make a binary array (implemented as a truth table). It's also possible to get something along the lines of sum(n, (n-1)[(n-1)+(n-2)+...+(1)], ..., n) which of course has larger terms in the center.
nibble4bits is offline   Reply With Quote
Old 2007-10-07, 06:20   #2
drew
 
drew's Avatar
 
Jun 2005

5768 Posts
Default

Quote:
Originally Posted by nibble4bits View Post
Am I right in assuming that any (n+1)-cylinder (including slanted) can be made by taking a n-Sphere and extending it nondegeneratively along a line?

For example, using a circle defined like this:
x^2+y^2=1
Let z=0 to 5
The length of the cylinder is 5, with a diameter of 1.
ax+by+cz=k where k is a constant and cz<>0 allows for the creation of 'slanted' cylinders as well.

Is there a counter-example for higher dimensions?
Well, I suppose it depends on how you would define a cylinder in extended dimensions.

Perhaps the extension of a 3-d cylinder into the 4th dimension can just as easily be called an '4-cylinder' as what you've described here. But your description seems just as good a definition as any other.

Drew

Last fiddled with by drew on 2007-10-07 at 07:07
drew is offline   Reply With Quote
Old 2007-10-07, 22:41   #3
Orgasmic Troll
Cranksta Rap Ayatollah
 
Orgasmic Troll's Avatar
 
Jul 2003

64110 Posts
Default

a cylinder is defined as S^1 \times [0,1] (similarly, a torus is S^1 \times S^1)

so define an n-cylinder to be S^n \times [0,1]. What exactly is there to counter with an example?

You can also define an infinite cylinder as \mathbb{R}^2 modded out by a translation (i.e. take an infinite strip of constant width and glue the edges together), and similarly, an (infinite) n-cylinder would be \mathbb{R}^n modded out by a translation.
Orgasmic Troll is offline   Reply With Quote
Old 2007-11-05, 03:29   #4
nibble4bits
 
nibble4bits's Avatar
 
Nov 2005

2·7·13 Posts
Default

Two very interesting answers. The most obvious method is to just translate the circle perpendicular to a linear equation in an arbitary number of dimensions... hmm thanks you two, this'll leave me a lot of paper to write on. :)

An n-sphere translated along an (n+1)-dimensional line is probably a little more convoluted than most people would want to deal with, however it is as legitimate as any other possible extension. I seem to remember this being a problem when trying to generalize 3D extensions of 2D shapes such as polygons -> prisms. There's an actual branching structure much like what is seen when programming trees. A square can make a cube, but there's also monclinic and triclinic polygons based on quadlaterals(rectangle/rhombus/etc.). I read a book that discusses 4D+ shapes like hypercubes and simplexes, but notes that there's very few shapes like dodecagons because of the angles involved.

Where's a good book on that S^1 \times S^1 system of describing the topology? I'd love to sit down with one that has lots of examples to work out using my computer, a pen, and a piece of paper. I seem to remember it being in reference to 'multiplying' one shape by another. For example, a triangle extended along a line can make a prism or if the angle is changed, a slanted prism or polygon(one triangle's axis parallel to line).

Last fiddled with by nibble4bits on 2007-11-05 at 03:30
nibble4bits is offline   Reply With Quote
Reply

Thread Tools


All times are UTC. The time now is 22:11.


Fri Aug 6 22:11:32 UTC 2021 up 14 days, 16:40, 1 user, load averages: 2.63, 3.04, 2.90

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.