Jump to content

Talk:Polyhedron/Archive 2

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
Archive 1Archive 2Archive 3Archive 4

Comments: Not bad, need references, history.

Well, I've had a bash at the history. More to do though.

But what's the problem with the references? The important ones are in there. Steelpillow 20:05, 15 April 2007 (UTC)

Quasi-regular

Could someone please improve this article? Towards the begining it states that quasi-regular polyhedra are edge- and vertex-uniform, but then later it makes a statement about how the icosidodecahedron cuboctahedron are quasi-uniform with the additional property of being edge-uniform. This seems contradictory. Please help. superscienceman 18:26, 3 October 2006 (UTC)

I changed the quasiregular definition to only edge-uniform, since there's two classes vertex-uniform and face-uniform polyhedra, which are actually duals of each other. I agree it needs further work. Tom Ruen 22:28, 3 October 2006 (UTC)
I also removed constraint that semiregular can't be edge-uniform, since all of the Archimedean solids, prisms, antiprisms can be considered semiregular. Tom Ruen 22:33, 3 October 2006 (UTC)
I have created a stub page for quasiregular polyhedron. I am also asking around about the definition of "quasiregular" - it's yet another of those messy areas. Steelpillow 12:13, 8 January 2007 (UTC)
I'd say that these are quasiregular:
  1. Tetratetrahedron
  2. Cuboctahedron
  3. Icosidodecahedron
  4. Great icosidodecahedron
  5. Dodecadodecahedron

They are the rectified tetrahedron/tetrahedron, cube/octahedron, dodecahedron/icosahedron, great stellated dodecahedron/great icosahedron, small stellated dodecahedron/great dodecahedron. --116.14.72.74 (talk) 04:24, 26 July 2009 (UTC)

Archimedean stellations

I changed the following sentence to avoid the problematic term "semiregular", but I think there are other issues -- or at least, I don't understand it:

Of the 39 non-convex, non-prismatic uniform polyhedra, 17 are stellations of Archimedean solids.

There are 75 non-prismatic uniform polyhedra. Of these 18 are convex -- the Platonic and Archimedean solids. That leaves 57 nonconvex, nonprismatic uniform polyhedra (either all of which, or none of which, are semiregular by most definitions of the term.) Where does the number 39 come from? Also, which 17 are stellations of Archimedean solids (admittedly that enumeration doesn't belong in this article) and what's the source of this fact (that does belong!) -- Rsholmes 16:24, 22 December 2006 (UTC)

No one's come to the defense of this statement, which I believe is either wrong or badly stated, so I'm deleting it. -- Rsholmes 00:05, 8 January 2007 (UTC)

Bit of a shake-up

I've just rearranged the headings a bit to make a more ordered hierarchy, also tidied up a little of the semi-regular confusion and a few other bits. The main section is still pretty unwieldly. I think some of the lists of names should go (eg various uniform polyhedra), just leaving the thumbnails behind. Also, I think it better to list each type of uniform and its duals in the same sub-section, but I don't have time right now.

Well, I've had another bash today. :-) Much more to be done though :-( Steelpillow 13:08, 8 January 2007 (UTC)

Finally, does anybody know how to archive the older bits of this Discussion page? It's getting a bit top-heavy.

Cheers, Steelpillow 22:11, 7 January 2007 (UTC)

I've done little but cleanup myself in this article in the past, although I suppose I did get the image zoo going here. I moved the pre-July talk to an archive subpage.
I finally got a Wythoff symbol article going this weekend, not great but a fair start, and pretty spherical polyhedra images! Tom Ruen 01:06, 8 January 2007 (UTC)

Planned changes

Thinking of a few more big changes (as I find the time):

  • Replace the phrase 'classical polyhedron' with 'traditional polyhedron'. Somehow 'classical' suggests an accepted terminology (as in say 'classical architecture') which is not so.
  • Shrink the info on the various uniform polyhedra, as this should all be covered by the Uniform polyhedra page.
  • As mentioned above, combine the Uniforms and their Duals in a single strand.

Any objections? Steelpillow 09:39, 12 January 2007 (UTC)

Sounds good to me. Tom Ruen 10:19, 12 January 2007 (UTC)
Phew! All done in a rush. Any better? Still some more shrinking to do. Steelpillow 20:07, 12 January 2007 (UTC)
Well, done some more of that now! Have I pruned too much info from "Symmetrical polyhedra"? It was all duplicated on other pages. Still needs more tidying, tho. Steelpillow 20:17, 27 January 2007 (UTC)

Definition

I don't like the new definition section much. Saying it's a 3-dimensional polytope doesn't help anyone unless they already know what a polytope is -- in which case they probably already know what a polyhedron is. Certainly by reading onward one can get a sense of what a polyhedron is, but really there should be an accessible, helpful definition right up at the top. Under the heading "Definition"! -- Rsholmes 20:09, 12 January 2007 (UTC)

Better now? Steelpillow 14:57, 13 January 2007 (UTC)
Yes it is, thanks. I still think there's room for improvement though. My feeling is this article is mostly going to be read by lay people who don't need to hear right from the outset about nonplanar faces, nonlinear edges, and nullities. This is not to say they can't be mentioned close to the top, but I'd advocate starting off with a (one of the!) traditional definition of a polyhedron -- e.g. a volume of 3-dimensional space bounded by polygons that meet at their edges. Give a paragraph about that, and then say "More generally, ..." et cetera. -- Rsholmes 17:30, 13 January 2007 (UTC)
OK. Try this...
BTW, anybody got a suitable pretty picture of one to put up there at the start? Steelpillow 20:48, 13 January 2007 (UTC)
I'd probably drop nullity definition, not referenced anywhere else in the article. Tom Ruen 19:16, 18 January 2007 (UTC)
The definition is incomplete without it, but I don't think it's worth discussing any deeper on this page. I've linked it to the Abstrct Polyhedra bit. Steelpillow 18:16, 19 January 2007 (UTC)

More pictures of polyhedrons at the top of the page?

Is the one picture, that of the dodecahedron, sufficient? kabbelen 04:23, 1 March 2007 (UTC)

More would be good, perhaps a row of small-ish ones. Do you have time to put together some nice ones? Steelpillow 19:54, 1 March 2007 (UTC)
I have time, but I don't know how to put together some nice ones. Is it possible to put a column of images next to the table of contents? kabbelen 18:21, 3 March 2007 (UTC)
I expect that it is possible, but I do not know how. Anybody else...? Steelpillow 21:35, 3 March 2007 (UTC)
Okay, I tried a column of test images in a table. Feel free to change or whatever. Tom Ruen 23:09, 3 March 2007 (UTC)
Nice one, Tom. Tell you what - if one of us gets time, how about a bit more variety in colour and style? Steelpillow 10:50, 4 March 2007 (UTC)
Okay one more improvement. Two columns, added a descriptive category following each. A fair representation, always room for more! :) —The preceding unsigned comment was added by Tomruen (talkcontribs) 03:20, 7 March 2007 (UTC).
I like that a lot. Just one small thought. In my browser (Firefox 1.5) the table border is right up against the introductory text above the Table of Contents. Is there any way to put a few pixels' clear space between them? Steelpillow 20:17, 7 March 2007 (UTC)
Images can be made smaller. It's impossible to decide how big things should be since people run different screen resolutions. My screen is 1280 pixels wide so lots of room. The new IE also does nice automatic shrinking for printing - previously it would just cut things off. Tom Ruen 20:38, 7 March 2007 (UTC)
It's not the size of the images, it's the way Firefox runs the text right up to the table border. Nice to hear that IE is at last learning lessons from Firefox about usability. Steelpillow 10:12, 8 March 2007 (UTC)
Fixed it with a nested table. Steelpillow 17:46, 18 March 2007 (UTC)

Books on polyhedra

I added this new section. Please help! Especially if you think I've put a book in the wrong subsection. Steelpillow 17:46, 18 March 2007 (UTC)

Discussion moved to Talk:List of books about polyhedra.

Polyhedron - Surface or Solid?

Isn't the word "polyhedron, -hedra" intended to describe a Surface (and its associated Area) rather than a Solid (and its Volume)71.116.178.98 09:30, 8 May 2007 (UTC)? Even the Greek root of the word seems to suggest this. Shouldn't those famous figures be called "Platonic Surfaces" rather than "Platonic Solids"? Is there a word-ending which would convey this idea? "Polyhedroid" might work, except that the "-oid" ending as currently used seems to convey the feeling of "almost" or "-like". Any comments or opinions? Ed Frank

The oldest known polyhedra are definitely solid - solid stone! Modern thought is that the Greeks considered polyhedra as solids - I have no idea if this is correct. Leonardo da Vinci made skeletal (stick) models, and Kepler drew the seven regular polyhedra he knew of as thin-walled "surfaces". Most recently, Grünbaum has advocated a theory based on partially-ordered pairs of points. There are also purely abstract definitions. So in this respect a "polyhedron" is pretty much what you want it to be at the time. Some of the above stuff is written up on the page, but I think it needs the rest adding. Maybe I'll find the time. Hopefully someone else will (grin). BTW the term "polyhedroid" has been used for various polyhedron-like things from time to time, but never seems to have stuck. HTH -- Steelpillow 17:28, 8 May 2007 (UTC)
Polyhedra which enclose a subset of space have a volume, or could also be said to divide space into an interior and exterior volume. The infinite skew polyhedrons can divide space into two disjoint volumes, both infinite. Self-intersecting star polyhedrons also divide space if they are orientable, although definition of interior is ambiguous. Lastly nonorientable polyhedra have only one side and don't enclose any volume. Lastly I guess you can consider - is an edge "two points" or "a line segment" - it has an interior length at least. And similarly are polyhedron faces "solid" or "empty", but they have to be solid to have a surface area. As well, the Convex uniform honeycombs are made of polyhedron cells, which have interior volumes. I guess there's no right answer - if you say a polyhedron is a surface, then you could say its faces are only perimeter, and then it also has no "surface area" and is just a wire frame, or if edges have no interior length, then it's just a set of points in space! Tom Ruen 00:59, 9 May 2007 (UTC)

Use of 'kai' system for naming polyhedra and polygons DOESN'T WORK

Some might argue that the article "tetradecahedron" should be renamed tetrakaidecahedron, chaing the initial paragraph to this: "A tetrakaidecahedron is a polyhedron with 14 faces. No tetrakaidecahedron is regular. The term tetradecahedron (without the kai) is also sometimes used, though strictly this should be reserved for polyhedra having four (tetra) faces of one kind and ten (deca) of another kind." [1]

I'm inclined to let this trip-you-in-the-middle-of-the-word affectation die.

Mathworld omits the 'kai' for ALL polyhedra.[2] "kai" simply means "and".

I can't find many pages on the WWW that even mention the 'kai'. But here they are, arguing against me:

On Math Forum, here's a page that likes the 'kai'. (24-gon == icosikaitetragon): [3]

The most important of the reasons which make me prefer the 'kai' forms is that they permit these prefixes to be unambiguously parsed even when concatenated, as they are in Kepler's names for certain polyhedra; for example, the icosidodecahedron or (20,12)-hedron, so called because it has 20 faces of one type and 12 of another. Kepler said 'this particular triacontakaidihedron I call the icosidodecahedron', a remark showing that he also preferred the kai forms.

However, the linked-to page, on the same site, gives kai no need or significance at all. (24-gon == icositetragon)[4]

Another page on Math Forum (not linked, but found) posts a follow-up explanation on the first note. Explains that ONE professor with a Greek historian tried to work out the scheme with 'kai'. It seems to agree with some usage by Kepler. Even the responder criticizes the scheme: "You use 'kai' when you mean one number, and leave it out when you mean two. I might have preferred to do it the other way around, ..." [5]

Math.com give kai no significance below 20 (take it or leave it), but by example shows it used always above 20 sides.[6]

This guy thinks -kai- works the opposite way! (or is it a typo?): [7]

In earlier versions of this table, I used the syllable kai to join numerical syllables into complete prefixes, as in "icosikaitetrachoron" for the 24-cell. The kai is equivalent to "and" in the number "four-and-twenty." Norman Johnson has persuaded me that this is redundant and can safely be omitted to save space, except in certain cases where using it avoids confusion. (For example, the hecatonicosachoron has 120 congruent dodecahedral cells, but a hecatonkaiicosachoron might have 100 cells of one kind and 20 cells of another.)

This interesting page shows stranger variations. While 13 and 14 keep the 'kai' (13 = triskaideca- or trideca-; 14 = tetrakaideca- or tetradeca-), 12 and 15+ do not. (dodeca-; pendeca-, hexadeca-, heptadeca-, octodeca-, ...) [http://phrontistery.info/numbers.html}

Interesting, on Google Books, tetradecahedron gives 53 hits dated 1836-2006; tetrakaidecahedron gives 260 hits, dated 1880 to 2007. The people who say tetrakaidecahedron probably have no idea why there are saying it. Whiner01 09:33, 29 October 2007 (UTC)

The 'kai' system seems at first to be self-consistent and logical. But it is an elaborate system that few seem to explain. And it leads to contradictions.

If the 'kai' system were accepted and required, then a 12-sided solid would have to be called a dokaidecahedron, because dodecahedron would imply a solid with 10 faces of one kind and two faces of another kind. (These instances might be the first mention EVER of dokaidecahedron -- try searching on it.)

Some would argue that calling a 14-sided solid a tetradecahedron implies a solid having four facets of one shape and ten of a different shape, and so it must be called a tetrakaidecahedron. Unfortunately, tetrakaidecahedron implies 14 sides of the same shape -- in which case tetrakaidecahedron can only refer to the "triaugmented triangular prism" and "heptagonal dipyramid", which have 14 triangles. Every 14-sided shape would need a different name:

  • "triaugmented triangular prism" and "heptagonal dipyramid" (14 triangles) would become or remain tetrakaidecahedron.
  • cuboctahedron and truncated cube (both 8 triangles, 6 squares) and truncated octahedron (6 squares, 8 hexagons) would all become octohexahedron or hexaoctohedron. (two unique coinages)
  • hexagonal antiprism (12 triangles, 2 hexagons), dodecagonal prism (12 squares, 2 dodecagons), and (no name found) (12 pentagons, 2 hexagons) would become dodecadohedron (another unique coinage), or dododecahedron (it exists, but only as a joke on "dodo").
  • 13-sided pyramid (13 triangles, 1 tridecagon) would become triskaidec[a]un[a]hedron or un[a]triskaidecahedron (six more unique coinages).

Clearly we're better off keeping tetradecahedron for a generic 14-sided solid.

Clearly the 'kai' system cannot be taken as a strict system to be applied everywhere. It kind of evaporates when you shine a light on it. I think Mathworld and others got it right -- ignore "kai" and omit "kai" because it simply means "and". I wonder whether they accidentally glossed over the background. If they studied and decided, I wish they had published their explanation for ignoring the "kai" system.

Comments added by User:Whiner01, 16:49, 29 October 2007.

I didn't even know the tetrakaidecahedron article existed. I've not (much?) seen kai used with polyhedra, BUT mostly because the n-hedron naming scheme is much less useful names since there's so many topological variations with the same number of faces. I'm not in a position to want to defend or criticize such names. If the names are used in references, good to include them as alternates in wiki articles. Tom Ruen 21:17, 29 October 200 7 (UTC)
The kai system seems to have been introduced fairly recently by mathematicians who ran into trouble when naming some new kinds of polyhedra. For example the regular octahedron has cubic symmetry. But if you colour alternate faces black and white then it has tetrahedral symmetry - and further, in the same way that the cuboctahedron can be thought of as the core of the regular compound oa cube and an octahedron, so this coloured octahedron can be thought of as the core of a regular compound of one black tetrahedron and one white one. Hence its mathematical name - the tetratetrahedron. But when we consider say a "tetradecahedron" there is now an ambiguity, do we mean the core of a compound of a tetrahedron with a decahedron, or just any polyhedron with 14 faces? The kai was apparently used for some numbers in some Greek writings, and so was adopted as a way of resolving this ambiguity by indicating any polyhedron with 14 sides. It does actually work very well, despite User:Whiner01's criticisms. For example Weaire and Phelan refer to their 14-sided bubble as a tetrakaidecahedron.
This was the basis on which I set up the "tertakaidecahedron" page. Since then I have discovered that this is still the exception rather than the rule, and it is more common to do things the way User:Whiner01 has set them up.
P.S. Don't ever take mathworld's word for anything polyhedral. They really don't know what they are talking about, and those pages are riddled with false folklore and other errors.
HTH -- Steelpillow 09:37, 30 October 2007 (UTC)

Why the kai- forms exist for 13 to 19 (and not 11 or 12)

This is not some arbitrary or dubious system invented by modern (or even medieval) mathematicians. The numbers from 10 to 20 in the language of the ancient Greek mathematicians were: 10 déka, 11 héndeka, 12 dṓdeka, 13 tr(e)iskaídeka, 14 tessareskaídeka or tetrakaideka- (in compounds only), 15 pentekaídeka, 16 hekkaídeka, 17 heptakaídeka, 18 oktōkaídeka, 19 enneakaídeka, 20 eíkosi. No forms without -kai- are recorded for 13 to 19, and they can safely be assumed not to have existed; certainly not to have been passed on to succeeding generations of mathematicians.

The names of the polygons and polyhedra were also created by ancient Greek mathematicians (not by later Western mathematicians who had learned Greek), and are perfectly natural formations in the language. The geometrical terms dekágōnon, hendekágōnon, dōdekágōnon, tr(e)iskaidekágōnon, tessareskaidekágōnon, pentekaidekágōnon, hekkaidekágōnon, eikoságōnon, dōdekáedron, tetrakaidekáedron (or tessareskaidekáedron), hekkaidekáedron and eikosáedron are all found in Liddell & Scott's Greek-English Lexicon. (H doesn't occur in the middle of Greek words). If words had existed for 17 to 19-sided polygons, or 13, 15, or 17 to 19-faced solids, the -kai- forms would unquestionably have been used. Kai is a normal part of the names of these numbers.

The argument then is about whether terminology well over 2000 years old needs to be revised. The names were natural and obvious ones when they were created, and simple to the Greeks who used them. We are merely paying the price for the old English convention of drawing on Latin and Greek for our technical vocabulary. Koro Neil

Thanks for that. Woodhouse seems to agree, at least for fourteen. Modern Greek is rather different, and I wonder whether the Greek dialects of Byzantine and Islamic scholars leading up to the Renaissance might have been different again. Anyway, the reasons why modern English usage developed as it did are not really relevant, en.wikipedia.org needs to follow it regardless. Some of us use kai, some don't. If there is a single originating authority in a given context (e.g. Weaire-Phelan bubbles) then I would be inclined to follow their usage in the article. For the present article I'd expect to see adequate referencing for whichever position is eventually taken. — Cheers, Steelpillow (Talk) 20:02, 3 September 2010 (UTC)

New unrelated comments

Hello all. I would like to point out that while the most common usage of the word "polyhedron" means one of those 3-d shapes, another common definition is "an intersection of half-spaces in n-space".

Hi, thanks for the comments. See the subsection on General polyhedra. This definition corresponds to what one would normally call a convex polyhedron; sadly, it is all too common for mathematicians to forget what kind of polyhedra they are talking about, and to generalise quite unjustifiably. -- Steelpillow (talk) 20:07, 20 November 2007 (UTC)

I also am not sure whether long lists of various types of polyhedra is useful for this article. Perhaps it should be relegated to a "lists of polyhedra" article (kinda like TV show articles have "lists of episodes" articles).

If you can find any long lists of polyhedra in the article, I'd be interested to know where they are. I (re)moved the ones I could find quite a long time ago. -- Steelpillow (talk)

Finally, the Characteristics section seems quite out of place and utterly inaccessible. In particular, the term "simply connected" is not in common usage as far as I know, and should at least be referenced (if not omitted entirely). In addition, duality should probably not be a little sub-point, and "vertex figure" is a technical notion that has no place in that part of the article. -Yuliya (talk) 00:40, 20 November 2007 (UTC)

The term "simply connected" is being used here in exactly the way it is used in topology: a polyhedron is simply connected if it is path connected and all loops are contractible. Some authors allow a cube with a rectangular hole drilled all the way through it to be a polyhedron, even though it is homeomorphic to a solid torus instead of a ball. For some purposes one even allows the surface of a polyhedron to contain self-intersections. On the other hand, the definition you give agrees with Minkowski, which is a point in its favor. For a history of proposed definitions of "polyhedron", I recommend the book by Lakatos referenced in the article, Proofs and Refutations. Michael Slone (talk) 03:34, 20 November 2007 (UTC)
By "out of place" I take you to mean that it does not seem relevant? I agree that it is badly laid out and terse to the point of obscurity. Please, if you have time, improve it! And I agree that the duality of polyhedra is a very important topic - which is why it has its own page at Dual polyhedron and is merely introduced/linked to on this page. But I disagree about vertex figures: they and their properties are as important to a polyhedron as its faces, and to cut a corner off and examine the cut is really not very technical. They at least need to be introduced, as done here. HTH. -- Steelpillow (talk) 20:07, 20 November 2007 (UTC)

Googolhedron

Googolhedron redirects here, but is not described in any way in the article. This needs to be fixed. I'd do it myself, but I don't have the time to figure out where it would belong, as I did with Googolgon. The history of googolgon and googolhedron is likely similar. See Talk:polygon#Googolgon for more information about the first. -- trlkly 07:15, 11 May 2008 (UTC)

Generally, see my reply on Talk:Googolgon. Also, this article does not have a long list of number-based names (the number of faces is not such a fundamental identifying characteristic for polyhedra as it is for polygons), so there is no place for a googolhedron as such unless it fits in somewhere else in the article - which, IMHO, it does not. If somebody wants a place for cited googolhedra and the like, I would suggest a separate article, listing polyhedra by the number of faces. But be warned, by the time you get to eight or more faces, you will be facing a gargantuan task - see for example Steve Dutch's enumeration. -- Steelpillow (talk) 12:43, 11 May 2008 (UTC)

Notable polyhedra

I have noticed a steady trickle of new articles describing individual polyhedra. In general these polyhedra are not especially notable and the articles rather short, for example the First and Second stellation of icosahedron and so on. According to Wikipedia's notability guidelines, such articles should be replaced by redirects and any worthwhile content merged into a more general article (which might need to be created), for example The 59 icosahedra. Any objections? -- Cheers, Steelpillow (Talk) 20:16, 20 July 2008 (UTC)

Contour Lines

Contour lines are pictures that hold lines which make enclosed figures! —Preceding unsigned comment added by 66.204.139.126 (talk) 15:38, 24 September 2008 (UTC)

i know i know what a polyhedron is!:)

in simiplier words...... this is a very, very, very misunderstanderable shape. this is coming from a very confused 5th grader. and if you want to.. if you press new section then write in a simiple way what a polyhedron looks likes. thank you if you tryed.—Preceding unsigned comment added by 76.101.128.38 (talk) 22:18, 19 February 2009 (UTC)

Original sin not relevant?

What does Original sin, a theological concept, have to do with polyhedra?--DThomsen8 (talk) 02:33, 28 May 2009 (UTC)

I went back in the revision history about 7 or 8 steps and couldn't find who added that. Odd. I reverted original sin to origins of Rybu (talk) 09:24, 28 May 2009 (UTC)
I did. It appears in the quoted passage from Grünbaum's seminal paper Polyhedra with hollow faces, which was instrumental in kicking off the work which led to the modern theory of abstract polytopes. It is relevant because if we do not define the objects we are talking about, then it is hard to know whether our mathematical results make any sense. Mathematicians live and die by their logical rigour, hence the description of this appalling and habitual lapse, which was not pointed out until the 1970's, as an "original sin". Grünbaum's colourful language has been quoted many times since. -- Cheers, Steelpillow (Talk) 21:03, 28 May 2009 (UTC)
Ah. Somehow the context wasn't clear, apparently both to myself and Dthomsen8. IMO it might make sense to keep those two paragraphs together. Because it's not a stand-alone thought as a separate paragraph. I'll show you what I mean and you can tweak to your likings. Rybu (talk) 21:35, 28 May 2009 (UTC)
No problem. I have just made minor tweaks to the punctuation and run the following para in too, for consistency. (BTW, the problem was not pointed out until the 1990s - my typo above, oops). -- Cheers, Steelpillow (Talk) 19:35, 29 May 2009 (UTC)

section added

This was added anonymously, doesn't look very useful even if it's correct. Tom Ruen (talk) 02:02, 20 November 2009 (UTC)

Well, it looks vaguely convincing, a bit like the stuff that Don Hatch used to win his $1,000 for finding a centre of reciprocation, but I don't really know - it's way over my head. I have tried to make sense of the grammar, but not quite made it home there either. -- Cheers, Steelpillow (Talk) 21:51, 20 November 2009 (UTC)
Sleeping on it, I am not sure what definition of a polyhedron is assumed - it might assume convexity, or simplicity (non-self-intersecting), or one of those weird definitions where a "polyhedral surface" need not be closed or finite. I think this needs clarifying before we can restore it to the article. Citation, both for the formulae and for the definition, would be necessary too. (By way of explanation - Grünbaum's book Convex polytopes lies at the core of a remarkable diversity of modern mathematics. But its terminology is often misunderstood or taken out of context. For example he omitted the word "convex" hundreds, probably thousands, of times to avoid repetition - so many people mistakenly assume his results apply to non-convex figures too. He also used "polyhedral" to describe any general surface which has been decomposed piecewise such that the pieces are flat faces, including open surfaces such as (say) a paraboloid - many people mistakenly assume that a "polyhedral surface" must be the surface of a polyhedron, and take their understanding of a polyhedron accordingly. The equations below appear to me to be typical of the kind of mathematical discipline where such mistaken assumptions are rampant - for examples it assumes that the figure in question has an identifiable centroid.) -- Cheers, Steelpillow (Talk) 12:21, 22 November 2009 (UTC)
Following links through via Green's theorem, it seems likely that this applies only to topological spheres - for example Stokes' theorem appears to require orientability. Convexity is not assumed, but I'm not sure about self-intersection. I think this gives enough context to restore the section, so that hopefully some more knowledgeable editor can make any clarifications still necessary. -- Cheers, Steelpillow (Talk) 08:59, 20 December 2009 (UTC)

Polyhedron volume

The volume of an arbitrary polyhedron can be calculated using the Green-Gauss Theorem

by choosing the function

where (x,y,z) is the centroid of the surface enclosing the volume under consideration. As we have,

Hence the volume can be calculated as:

where the normal of the surface pointing outwards is given by:

The final expression can be written as

where S is the surface area.

I think that when F is defined the x,y,z are still just coordinates and only in the last expression should they should be substituted for a different symbol for the centroids of each of the faces. And why the bullet symbol? 131.180.16.252 (talk) 14:45, 21 January 2010 (UTC)
Sorry, the details are beyond me. I restored the material because it is better than nothing. If you or anyone else can make or suggest specific changes, and especially provide a reference, that would be good. -- Cheers, Steelpillow (Talk) 13:24, 23 January 2010 (UTC)
When you integrate the given vector field on the polygon you get the face barycenter.. not "any point on face" --Andrea Tagliasacchi 00:27, 12 January 2013 (UTC)
Are you certain that the barycenter is what you want? We don't want to be assuming that the polyhedron is regular. I would have thought that the correct answer is: the point on the face plane closest to the origin (which might not even be contained within the face itself). —David Eppstein (talk) 00:35, 12 January 2013 (UTC)

Size of this page

This article is getting a bit long. Does anybody have any ideas for making it more manageable?

For starters, I'd suggest a couple of candidate topics for splitting off as separate articles:

-- Cheers, Steelpillow (Talk) 09:35, 20 December 2009 (UTC)

Bowers style acronyms

After putting my knowledge of polyhedra on firmer ground, I'd like to ask: should the Bowers style acronyms redirect to the polyhedron names? 4 T C 06:28, 24 January 2010 (UTC)

Since no one has complained, I've done the whole lot - except prisms. 4 T C 10:01, 24 January 2010 (UTC)

Are the Bowers acronyms widely referenced in the peer-reviewed literature? I rather doubt it. I suspect that their presence on Wikipedia may well constitute WP:OR and they ought to be removed. -- Cheers, Steelpillow (Talk) 15:23, 24 January 2010 (UTC)

footnotes

Somebody added Template:No footnotes on the basis that the lack of inline citations obscures which references are sourced for each factoid.

Much of the information given here is well known and widely available from many sources. The references listed give a fair selection. wp:cite gives four reasons for citing sources:

Cite sources when
  • adding or restoring material that is challenged or likely to be challenged,
  • quoting someone, with or without quotation marks, or closely paraphasing a source,
  • summarizing source material in your own words, in order to give credit to the source of your ideas,
  • uploading an image.

The third is the only vaguely relevant one here, and in general typical multiple sources are already given in the references. I see no imperative here to go scattering inline citations about the place.

I am sure that things can be improved - Pearce is not a standard reference and inline citation would be better, while sources such as Cundy & Rollett and Lines are standard references and need adding.

Can we remove this template and leave citation requests to specific sections and factoids? — Cheers, Steelpillow (Talk) 10:26, 12 February 2011 (UTC)

Polytope more prominent

People are going to go to this article looking for the higher-dimensional generalization of polyhedra, that is, polytopes. Polytopes are mentioned in the article, but perhaps they rate their own section under "Generalisations".

The articles on polygon and polyhedron should probably mention in the introduction. "A polygon(polyhedron) is a 2(3)-dimensional polytope." Mohanchous (talk) 18:38, 23 July 2011 (UTC)

Someone removed the polytope link from the lead because it was getting too cluttered. I have now made some space and put it back there. Polytopes are really the generalisation of the sequence point, line segment, polygon, polyhedron, ... rather than just of polyhedra. I feel that the link in the lead is enough. Also the section on generalisations focuses on 3D, to introduce higher polytopes would be out of place as it stands. — Cheers, Steelpillow (Talk) 21:34, 23 July 2011 (UTC)

Arab or Islamic?

My understanding of mathematics in the European "dark age" is that scholars from many countries such as India, Persia and North Africa contributed new advances and insights. AFAIK pretty much all these scholars were Muslims but not all were Arabs (e.g. in India). Therefore I propose to revert the recent edit to the relevant section title. Any comments? — Cheers, Steelpillow (Talk) 21:11, 11 August 2011 (UTC)

I prefer Islamic to Arab for exactly the reasons you give. (Also, Spain was part of the Islamic world at that time as well.) —David Eppstein (talk) 21:43, 11 August 2011 (UTC)
Pretty much all were Muslim? Thabit ibn Qurra, the very scholar mentioned was not a Muslim. Granted that ethnically he was Assyrian and not an Arab, he nevertheless wrote in Arabic. It is my understanding that the Persian Abū al-Wafā' Būzjānī also wrote in Arabic. I picked Arab, (and perhaps I should have used Arabic), to serve as a common bond since not all were followers of Islam. But, I can see your point because, for better or worse, it is commonplace to speak of "Islamic Civilization" despite the fact that a large number of the conquered people under Muslim domination were not Muslims until much later in history. How about this suggestion - perhaps instead of using "religious" designations, the subheadings could reformulated as regional? There could be a "European," "East Asian," "South Asian," "Middle Eastern," etc. In fact, the whole "History" section seems to need to be better organized (ex. integrating the star polyhedra subsection).

-Emmo827(talk) 11:50, 12 August 2011 (UTC)

Another reason to use "Islamic" here is to be consistent with the title of the article Mathematics in medieval Islam, something that has been hashed out repeatedly there (see Talk:Mathematics in medieval Islam/Archive 1). —David Eppstein (talk) 22:54, 12 August 2011 (UTC)
I take Emmo827's point about personal religion, and the lack of a clear-cut choice. However we often refer to say "Roman" when talking about things that never went anywhere near Rome, just happened somewhere in their civilisation - similarly with "Greek" mathematicians who lived and worked in North Africa. So I think it safest to talk of "Islamic" mathematics as meaning the Islamic civilisation. I'll revert the change. — Cheers, Steelpillow (Talk) 12:03, 13 August 2011 (UTC)

File:First stellation of dodecahedron.png Nominated for Deletion

An image used in this article, File:First stellation of dodecahedron.png, has been nominated for deletion at Wikimedia Commons in the following category: Deletion requests September 2011
What should I do?

Don't panic; a discussion will now take place over on Commons about whether to remove the file. This gives you an opportunity to contest the deletion, although please review Commons guidelines before doing so.

  • If the image is non-free then you may need to upload it to Wikipedia (Commons does not allow fair use)
  • If the image isn't freely licensed and there is no fair use rationale then it cannot be uploaded or used.

This notification is provided by a Bot --CommonsNotificationBot (talk) 10:33, 3 September 2011 (UTC)

File:Second stellation of dodecahedron.png Nominated for Deletion

An image used in this article, File:Second stellation of dodecahedron.png, has been nominated for deletion at Wikimedia Commons in the following category: Deletion requests September 2011
What should I do?

Don't panic; a discussion will now take place over on Commons about whether to remove the file. This gives you an opportunity to contest the deletion, although please review Commons guidelines before doing so.

  • If the image is non-free then you may need to upload it to Wikipedia (Commons does not allow fair use)
  • If the image isn't freely licensed and there is no fair use rationale then it cannot be uploaded or used.

This notification is provided by a Bot --CommonsNotificationBot (talk) 10:34, 3 September 2011 (UTC)

File:Third stellation of dodecahedron.png Nominated for Deletion

An image used in this article, File:Third stellation of dodecahedron.png, has been nominated for deletion at Wikimedia Commons in the following category: Deletion requests September 2011
What should I do?

Don't panic; a discussion will now take place over on Commons about whether to remove the file. This gives you an opportunity to contest the deletion, although please review Commons guidelines before doing so.

  • If the image is non-free then you may need to upload it to Wikipedia (Commons does not allow fair use)
  • If the image isn't freely licensed and there is no fair use rationale then it cannot be uploaded or used.

This notification is provided by a Bot --CommonsNotificationBot (talk) 10:56, 3 September 2011 (UTC)

File:First stellation of octahedron.png Nominated for Deletion

An image used in this article, File:First stellation of octahedron.png, has been nominated for deletion at Wikimedia Commons in the following category: Deletion requests September 2011
What should I do?

Don't panic; a discussion will now take place over on Commons about whether to remove the file. This gives you an opportunity to contest the deletion, although please review Commons guidelines before doing so.

  • If the image is non-free then you may need to upload it to Wikipedia (Commons does not allow fair use)
  • If the image isn't freely licensed and there is no fair use rationale then it cannot be uploaded or used.

This notification is provided by a Bot --CommonsNotificationBot (talk) 10:57, 3 September 2011 (UTC)

File:First stellation of icosahedron.png Nominated for Deletion

An image used in this article, File:First stellation of icosahedron.png, has been nominated for deletion at Wikimedia Commons in the following category: Deletion requests September 2011
What should I do?

Don't panic; a discussion will now take place over on Commons about whether to remove the file. This gives you an opportunity to contest the deletion, although please review Commons guidelines before doing so.

  • If the image is non-free then you may need to upload it to Wikipedia (Commons does not allow fair use)
  • If the image isn't freely licensed and there is no fair use rationale then it cannot be uploaded or used.

This notification is provided by a Bot --CommonsNotificationBot (talk) 10:59, 3 September 2011 (UTC)

Volume and vector calculus

The Volume section has a clever general approach to computing the volume of polyhedra. But putting myself in the shoes of an excited youngster or layman wanting to learn about this stuff for the first time, vector calculus is a brick wall. Without disputing the utility of the high level approach, there more elementary, accessible approaches that a newcomer could get their head around. Perhaps a table of volume formulas for the simplest regular polyhedra would be good enough. Or perhaps referrals to the volume sections for the regular polyhedra articles. An illustration of how the final vector formula works for a cube? Comments welcome, --Mark viking (talk) 00:43, 23 February 2013 (UTC)

Just had a go at it. Needs wikifying, but I hope it's in the right direction. — Cheers, Steelpillow (Talk) 12:58, 23 February 2013 (UTC)
The elementary section looks great. I wikified the math to be more consistent with the advanced section and added the cube as an example of the elementary approach. Thanks, --Mark viking (talk) 19:40, 23 February 2013 (UTC)
Great. Thanks more to you than me! — Cheers, Steelpillow (Talk) 21:32, 23 February 2013 (UTC)

Goldberg Polyhedra

I've just come across an article of Goldberg Polyhedra[8] which I've not heard of before. Wikipedia does not seem to have any coverage of these. They look like they are duals of geodesic domes.--Salix (talk): 22:29, 25 June 2013 (UTC)

There's some closely related information hidden in a chemistry article: Fullerene#Other buckyballs. —David Eppstein (talk) 23:18, 25 June 2013 (UTC)
Fun. George W. Hart has plans for making a Goldberg polyhedron on a 3D printer on this page and he has a paper on them in G. Hart, "Goldberg Variations," Shaping Space, (Marjorie Senechal, ed.) Springer, 2012. --Mark viking (talk) 23:47, 25 June 2013 (UTC)
Stub created at Goldberg polyhedron.--Salix (talk): 07:21, 26 June 2013 (UTC)

I have a web page at wordpress.com (URL:http://polyhedron100.wordpress.com) with a variety of Nolidean Polyhedra including some nice Crown Polyhedra in wood. I am hoping I might have a link to them here at the polyhedron page as there is no mention of these types of polyhedra elsewhere at wikipedia. Please advise if this would be acceptable? Thanks and Take Care User:Bertimusminimus 10:15, 29 November 2014 — Preceding unsigned comment added by Bertusminimus (talkcontribs)

Hi again. These are really beautiful, they certainly deserve a wider audience. I will post a link on my facebook page for sure. But they are not normally regarded as polyhedra, because the surfaces are bounded. If they are regarded as toroidal nolids, even then they are not usually understood as polyhedra: for example two (coincident) edges may share the same two vertices, which is not allowed in conventional polyhedron theory, but only if one chooses to extend the theory specially. As a footnote, a "crown polyhedron", sometimes called a stephanoid, is a particular kind of axially-symmetric (pyramid/prism symmetries) polyhedron. In the end, your creations are at heart beautiful symmetrical mathematical sculptures, and best appreciated as such. Not perhaps what you wanted to hear, but I hope it helps clarify things for you. — Cheers, Steelpillow (Talk) 16:47, 29 November 2014 (UTC)

Thank you for responding and your kind words. It's a little disappointing to be sure, but I will of course honor your decision. That said, I do realize that they are not polyhedra in the traditional sense but I thought that they still would fall into that category if one allows for a relaxation of the terms of their definition such as having gaps or holes between polygons. In any event thanks again and Take Care, User:Bertimusminimus 18:15, 29 November 2014 (UTC) — Preceding unsigned comment added by 75.120.178.107 (talk)

Topological polyhedra

This section currently defines only topological polytopes. Are we to take it that "polyhedron" and "polytope" are synonyms in this context, or that a topological polyhedron is a topological 3-polytope? — Cheers, Steelpillow (Talk) 18:58, 21 December 2014 (UTC)

I don't even know, and it's unsourced. What I would normally do in such situations is try quick Google scholar and Google books searches to determine whether there is in fact a standard meaning for this term; if so, add the sources and clarify the meaning, and if not just delete the section. —David Eppstein (talk) 19:42, 21 December 2014 (UTC)
I found several definitions, each built on more impenetrable buzzwords than the last, so I have no idea even whether they are equivalent or not. Then there is this possibly related remark from Grünbaum & Shephard, 1969:
"A topological polytope P' is the image of a convex polytope P under a homeomorphism Φ : P -> En. The faces of P' are the images of the faces of P under Φ, and the dimension of P' is defined to be the dimension of P. Sometimes we shall use the term geometric polytope for a convex polytope when we wish to emphasise the difference from a topological polytope."[9]
To my poor understanding, En is Euclidean n-space and anything injected into it is perforce a real geometric polytope. But here it is a topological polytope and is being distinguished from the geometric variety. This kind of apparent non sequitur, supported invariably by the most impenetrable of jargon salads, always utterly baffles me. Hence my appeal to someone schooled in such ways. — Cheers, Steelpillow (Talk) 21:33, 21 December 2014 (UTC)
This passage seems clear enough to me, at least. It's describing what you get from a polyhedron when you warp space with a continuous but 1-1 transformation. E.g. you could make a topological cube with six Coons patches whose boundary curves and corners have the same combinatorial structure as the edges and vertices of a geometric cube. —David Eppstein (talk) 22:15, 21 December 2014 (UTC)
Thank you, yes, that makes sense now - as far as polytopes go. The relation to "topological polyhedra" is still undefined. I also begin to wonder as to what extent things like CW complexes are related. — Cheers, Steelpillow (Talk) 23:22, 21 December 2014 (UTC)

A clear definition is missing, or something is false

In the Polyhedron#Euler_characteristic section we see the folowing statement.

For a convex polyhedron or more generally for any simply connected polyhedron whose faces are also simply connected, χ = 2.


This statement isn't true for a solid made by two tetrahedron joining in one of their vertices. Since this is a simply connected solid (bounded by planes) with simply connected faces and χ = 3, either this object isn't a polyhedron, or the above statement is false. I don't see anything in this article that would exclude this wedge-sum object from among polyhedra, so it would be helpful to improve the either the defintion of polyhedrion, or the statement above. 89.135.19.75 (talk) 07:36, 18 May 2015 (UTC)

"A solid made by two tetrahedron joining in one of their vertices" is not a polyhedron as defined in this article. Nor is it a simply-connected manifold as linked to in the article. Now I know some mathematicians squawk in horror at that because they have any of several different specialised definitions of a polyhedron in mind from their favourite standard text on their chosen field. But this is a Wikipedia article introducing polyhedra, and it uses the classical definition unless some variation is expressly stated. I have tidied the article to help clarify one or two aspects. — Cheers, Steelpillow (Talk) 12:04, 18 May 2015 (UTC)
Sorry, but I don't find this statement in Richeson's book. Where is it exactly?
And the other thing: exactly which sentence excludes this object from among the polyhedra in the article? The link points to siply connected space, and this object is also a simply connected space, so the link doesn't. 89.135.19.75 (talk) 17:12, 18 May 2015 (UTC)
p.255 states "We know from the classification of surfaces that the sphere is the only simply connected closed surface", p.182 gives χ for the sphere = 2. I have added a parenthetical comment to separate out the two logical steps for you. Any better? — Cheers, Steelpillow (Talk) 18:25, 18 May 2015 (UTC)
  1. I see nowhere in this article, that every polyhedron should be topologically a connected closed surface.
  2. It isn't true, that if a polyhedron is topologically a sphere, then its Euler characteristic is 2, see for example a small cube on the middle of the top of a bigger cube (the interior of the contacting face parts are removed). This is topologically a sphere, but its Euler characteristic is 3. The simply connectedness of the faces is an additional necessary condition, so it should not have been removed from the text (see also here) 89.135.19.75 (talk) 20:03, 18 May 2015 (UTC)
[Edit conflict] First, thank you for pointing out the omission re. vertex-connected objects. It is implicit in standard definitions, such as that of an abstract polytope, so I don't think it need be made explicit in the discussion on definition. But I have now added a commentary in the section on the surface characteristics. Richeson illustrates your figure and discusses the problem, so too does Cromwell at a more basic level. Do you think it needs a citation?
The requirement to have a closed surface is expressed in simpler language as a requirement that the surface must not end abruptly, perhaps why you missed it. The cube-on-a-cube is of course excluded by the need for every face to be a polygon: a square with a hole in is not a valid face and the figure is not in fact a polyhedron. So the definition of a face needs clarifying too. I can think of at least one other possible omission. I don't have time to think the changes through now, I'll try and remember to take a proper look tomorrow (assuming nobody beats me to it). — Cheers, Steelpillow (Talk) 20:34, 18 May 2015 (UTC)
So,this concave heptahedron Isn't a polyhedron at all? 89.135.19.75 (talk) 23:04, 18 May 2015 (UTC)
It isn't according to the definition Steelpillow is using. One can find sources that use definitions that would allow it but that may be a minority view of the subject. —David Eppstein (talk) 23:07, 18 May 2015 (UTC)
That is correct. The article takes as its backbone the modern formulation of the definition used by well-known authors such as Euclid, Coxeter, Cromwell and (at an elementary level) Grünbaum and found in every school geometry textbook. From this it classifies "polyhedra" found in the wider literature into families (i.e. sub-species), generalisaztions (broadly compatible) and alternatives (incompatible in some profound way). One may hope that the heptahedron shown comes under one of these alternatives, although its discussion in the linked article is uncited, is not supported by the article sources given, and including it as a "polyhedron" under any sensible definition could just be a lapse of rigour. — Cheers, Steelpillow (Talk) 10:31, 19 May 2015 (UTC)

We shouldn't pretend that there is a single universally-accepted definition, but I don't think our article does that. —David Eppstein (talk) 16:14, 18 May 2015 (UTC)


Thanks! 89.135.19.75 (talk) 20:04, 20 May 2015 (UTC)

Euler characteristic

The text of this article allows us to regard a polyhedron as a 2-dimensional CW-complex as well as a 3-dimensional one. However the definition of the Euler-characteristic implicitly assumes that it is taken as a 2-dimensional CW-complex (i.e. the definition of the Euler characteristic given here is true for polyhedral surfaces, but it isn't true, if the interior volume is considered also to be part of the polyhedron. Perhaps it would be useful to tell this in the article (see Euler_characteristic#Topological_definition). 89.135.8.194 (talk) 22:40, 25 August 2015 (UTC)

What the text allows and what it should say are very different things. There is no need to discuss the niceties of CW-complexes in an article which does not mention them. In particular, the Euler characteristic as defined for a polyhedron references only vertices, edges and faces: contrary to what you say, whether or not there is an interior has no relevance. A figure decomposed into say tetrahedral cells is no longer just a polyhedron but a more general topological object - and of no relevance to an article on polyhedra. — Cheers, Steelpillow (Talk) 10:05, 26 August 2015 (UTC)

I mean this:

Different approaches - and definitions - may require different realisations. Sometimes the interior volume is considered to be part of the polyhedron, sometimes only the surface is considered, and occasionally only the skeleton of edges or even just the set of vertices.[1]

and this:

For example a convex or indeed any simply connected polyhedron is a topological sphere or ball (depending on whether its body is taken into account).

The problem is, that if I regard a simply connected polyhedron as being topologically a ball, then it is contractible, hence in this case, its Euler-characteristic should be 1 instead of 2. Euler characteristic should be homotopically invariant. 86.101.236.13 (talk) 10:55, 26 August 2015 (UTC)

And that shows clearly what I mean. The conventional definition of the Euler characteristic for a polyhedron is given in the article. It does NOT invoke the body and therefore does NOT address the polyhedron as a ball. You are using a different definition applicable in different and more advanced circumstances. — Cheers, Steelpillow (Talk) 11:14, 26 August 2015 (UTC)

And this is exactly what I mean: "Euler characteristic for a polyhedron is given in the article does NOT invoke the body" I miss this sentence from the article. 86.101.236.13 (talk) 11:18, 26 August 2015 (UTC)

It is there to be read. The section refers to "any simply connected polyhedron (i.e. a topological sphere)". — Cheers, Steelpillow (Talk) 11:33, 26 August 2015 (UTC)
I think the confusion was caused more by the introduction of a ball in this context. Although more complete it brings complexities seldom addressed at this level and best left out. Accordingly, I have edited the general remarks about topological characteristics to confine the discussion to the surface. Any better? — Cheers, Steelpillow (Talk) 11:42, 26 August 2015 (UTC)

This is better already, but still isn't explicit enough in my taste. What about something like this:

From this perspective, a polyhedron is regarded as its surface. Any polyhedral surface may be classed as certain kind of topological manifold. For example a convex or indeed any simply connected polyhedron is a topological sphere.

instread of the current

From this perspective, any polyhedral surface may be classed as certain kind of topological manifold. For example a convex or indeed any simply connected polyhedron is a topological sphere.

86.101.236.13 (talk) 13:08, 26 August 2015 (UTC)

I don't think that would be accurate. One can perfectly well be considering the surface of a solid polyhedron. The phrase "polyhedral surface" deliberately covers both possibilities. — Cheers, Steelpillow (Talk) 14:10, 26 August 2015 (UTC)

Yes, but (according the current text) the Euler characteristic is assigned to the "polyhedron", not to the "polyhedral surface". If you don't like my proposal,we should say at least, that we mean the "Euler characterisic of a polyhedron" the "Euler characterisic of its (polyhedral) surface". Should't we? 86.101.236.13 (talk) 14:24, 26 August 2015 (UTC)

You mean, as in "The topological class of a polyhedron is defined by its Euler characteristic and orientability"? The problem we face is that most if not all mainstream sources associate the Euler characteristic in this way, whether or not they note the stricture about its surface. What I have tried to do with my recent edits is to lead the reader from this widely-stated but not wholly rigorous picture to something closer to the truth. But on Wikipedia one cannot say "reliable sources are not rigorous" unless there is a reliable source telling us this explicitly. We are stuck with some measure of woolliness and I am not sure how the current text can be improved on. — Cheers, Steelpillow (Talk) 15:28, 26 August 2015 (UTC)

I've made an attempt.89.135.8.194 (talk) 06:15, 27 August 2015 (UTC)

Polygonal faces

Shouldn't we define what does "polygonal face" mean? Shouldn't we require that the polygon must be simple (non self-intersecting)? — Preceding unsigned comment added by 89.135.8.194 (talk) 06:51, 29 September 2015 (UTC)

The faces of star polyhedra are not simple. Precise definitions differ widely and a full treatment would not be useful in the present introductory article. See for example Lakatos, Proofs and Refutations.— Cheers, Steelpillow (Talk) 07:58, 29 September 2015 (UTC)
Even nonplanar or skew polygon faces are not excluded in Polyhedron#Abstract_polyhedra! Simple would seem to be a 2D-space concept?! p.s. I forgot how passionately this article hates pictures. Tom Ruen (talk) 09:55, 29 September 2015 (UTC)

OK, but then what excludes the not simply connected faces? What is a polygonal face at all? For example, what kind of face is defined by the fourth polygon here?

Some polygons of different kinds: open (excluding its boundary), bounding circuit only (ignoring its interior), closed (both), and self-intersecting with varying densities of different regions.

89.135.8.194 (talk) 21:44, 29 September 2015 (UTC)

Could you clarify your question? By "simply connected" do you mean a synonym for "simple" or something more general? The polygon you ask about is not simple, but nor is it excluded. Would you regard it as simply connected? — Cheers, Steelpillow (Talk) 07:51, 30 September 2015 (UTC)
A decagon with nearly coinciding vertices.
A simply-connected polygon faces is a good requirement, excluding disconnected sets (compound forms), and excluding coinciding vertices, edges or faces (degenerate forms). Like this isogonal decagon, left, is approaching a degenerate case if vertices come together. Still, simply connected allows edges to intersect where the interior of polygon is ambiguous. Tom Ruen (talk) 08:18, 30 September 2015 (UTC)
A Petrial cube is a tetrahedron made of 6 skew polygon (hexagon) faces, 8 vertices, and 12 edges.
The case of skew polygon faces is the least referenced generalization of a face, like the Petrial cube. You can see the hexagons on the right as red, orange, blue and green edge-paths around a cube. Every edge has 2 colors (2 skew polygon faces). Tom Ruen (talk) 08:24, 30 September 2015 (UTC)

@Steelpillow: Consider this part of the article:

The Euler characteristic χ relates the number of vertices V, edges E, and faces F of a polyhedron:

This is equal to the topological Euler characteristic of its surface. For a convex polyhedron or more generally any simply connected polyhedron (i.e. with surface a topological sphere), χ = 2.

If nothing rules out simply connected faces, then we should explicitly include this condition here as

generally any simply connected polyhedron with simply connected faces (i.e. with surface a topological sphere), χ = 2.

Bul last time you told that a"polygonal face" is always simply connected, so we don't need to specify here the simply connectedness of the faces explicitly.89.135.8.194 (talk) 08:23, 30 September 2015 (UTC)

Yes, the boundary of a real polygon is by definition simply connected (This is not true of complex polygons but that is an obscure side issue, as they are defined very differently and inhabit the complex plane). Polyhedra of course need not be simply connected. The condition arises in abstract polytope theory as a consequence of the rules for the partial ordering of the set, which are explained in that article. In more traditional topology it arises because a piece cut from a contiguous, smooth surface such as a real plane must always have a simply connected boundary. Any polygon may be used as a face of a polyhedron. For example the polygon you ask about can form an end face of a self-intersecting hexagonal prism. — Cheers, Steelpillow (Talk) 08:52, 30 September 2015 (UTC)
Toroidal polyhedron
Guy, going up a dimension, can a "real" 4-polytope exist with toroidal polyhedron cells, not topological spheres? I'd have to work a bit to find a full example.... perhaps like a tesseract's 8 cubes could be merged into 2 sets of 4 cubes by removing 8 square faces, and leaving 2 toroid cells?! Tom Ruen (talk) 09:31, 30 September 2015 (UTC)
Yes. They are called locally toroidal polytopes. Locally projective polytopes also exist, for example having one or more hemicubes as cells. I don't know for sure whether such things necessarily can or can't be faithfully realised in real n-space, but a few minutes' thought suggests to me that some can and some can't. They can make topological analysis difficult as they don't obey the usual Euler formula and its generalisations, for example they cannot be subdivided into simplexes without changing the values of such topological "invariants". — Cheers, Steelpillow (Talk) 10:10, 30 September 2015 (UTC)
This isn't really different from the phenomenon that three-dimensional polyhedra with annular faces also don't obey the Euler formula (even when they have spherical topology), I don't think. —David Eppstein (talk) 06:32, 1 October 2015 (UTC)
The key difference is that a toroidal face does not have a continuous boundary It is therefore not a valid polygon and cannot be used to construct higher polytopes. A three-dimensional toroid is a valid polyhedron and so it can be used. The disruption to topological analysis is the same though. — Cheers, Steelpillow (Talk) 08:49, 1 October 2015 (UTC) [Updated 09:39, 1 October 2015 (UTC)]
4x4 square grid as unfolded flat torus
Cool! Oh, I see my tesseract reconstruction would have two flat tori cells (two sides of a common flat tori surface), as Coxeter's {4,4|4} regular skew polyhedra, a 4D folding of a 4×4 grid from a square tiling! Tom Ruen (talk) 12:11, 30 September 2015 (UTC)
Potential annular faces?
Polyhedra with annular faces (or higher-dimensional shapes with toroidal faces) seem to be perfectly acceptable under our current definition of an abstract polyhedron — they don't violate the 1-section=line segment restriction. The shapes that are disallowed by that restriction are the ones where a face has a hole such that a vertex of the hole coincides with a vertex of the outer boundary of the face. But holes that don't touch the outer face boundary seem to be allowed. They would be disallowed if we made the stronger restriction that every 2-section is an abstract simple polygon. —David Eppstein (talk) 20:40, 23 February 2017 (UTC)
Toroidal cells make more sense to me since they are connected. Here's a set of candidate annular faces, but I'm willing to discount all of them as "degenerate" by some measure. And I only drew interiors as possibilities, and once you go "off plane" even slightly, all bets are off what interior might mean. Tom Ruen (talk) 22:22, 23 February 2017 (UTC)
In your figure, I think the abstract polyhedron model (with the 1-section=segment constraint) would allow A, B, C, and G, and disallow D and E. However, because this model is only about which vertices and edges belong to which faces, it would not make any distinction between A and G (both of which have two four-cycles of vertices and edges) nor between B and C (both of which have three four-cycles). F would be disallowed if the crossing points are listed as vertices, but allowed (and equivalent to A and G) if they are not. —David Eppstein (talk) 23:23, 23 February 2017 (UTC)
Why not the regular small stellated 120-cell {5/2,5,3}, which has genus-4 small stellated dodecahedron cells? Double sharp (talk) 12:53, 30 September 2015 (UTC)
Yes indeed. The "reduced tessaract" is a toroidal 4D equivalent of a dihedron. {5/2,5,3} is a really nice example. — Cheers, Steelpillow (Talk) 13:28, 30 September 2015 (UTC)


@Steelpillow : I see a general misunderstanding between us. I talk abot this sentence:

for any simply connected polyhedron (i.e. with surface a topological sphere), χ = 2

I thought originally, that simply connectedness refers here to the body of the polyhedron, i.e. to the the 3-dimensional domain bounded by its surface. This belief was supported by the fact that this sentence was originally (up to 12:00, 18 May 2015)

For a convex polyhedron or more generally for any simply connected polyhedron whose faces are also simply connected, χ = 2

, and that this is in accordance with Lakatos's book:

For a simple polyhedron, with all its faces simply-connected, V-E+F = 2

As far as I see, the referred book of Richeson also doesn't say else.

But now, since you talk about self-intersecting polyhedra, I have doubts about what do you mean. Has at all sense to talk about the body of a self-intersecting polyhedron? What does this sentence mean in your opinion? 89.135.8.194 (talk) 06:23, 1 October 2015 (UTC)

The following applies whether we consider the surface or the interior of a polygon or polyhedron, for if one is simple or simply-connected then the other must be as well: wherever space is locally flat, a topological sphere will always surround a topological ball.
There is a distinction between structural incidence or connectedness on the one hand and geometric coincidence on the other. "Simple" is a geometric property, "simply-connected" is a structural or topological property. In topology, whether a particular geometrical form is simple or self-intersecting has no significance. For example a cross-quadrilateral (a butterfly or hourglass shape) has four vertices each connected to, i.e. incident with, two sides. The crossing point in the centre has no such connection and the two sides are merely coincident at that point. If the quadrilateral is unwound and made convex then it is easy to comment on the fact that it is now a simple polygon, and the fact that it is simply connected is easy to see. When twisted up it is no longer geometrically simple but structurally it is still simply-connected. If we make it the end of a four-sided prism, the prism remains simply connected no matter how we squash or morph it around. Another simply connected polyhedron is the great stellated dodecahedon {5/2, 3}, because (as Cayley noted) it is just such a morph of the convex regular dodecahedron {5, 3}. But of course it is not simple like {5, 3} because it self-intersects. On the other hand the small stellated dodecahedron {5/2, 5} is a toroid of genus around 4 (I can't remember exactly) and is neither simple nor simply-connected.
It is relatively easy to find out whether a certain figure is simple, especially if it is convex. It is much harder to see, by looking or by analysis of things like half-spaces or vertex connectivity, whether a self-intersecting polyhedron is simply-connected or not. The sure way to find out is by discovering its Euler characteristic. This is the analysis which the article tries to explain by first introducing the Euler characteristic of the structural sphere, whether it be geometrically simple or self-intersecting. Does this clarify the situation for you? — Cheers, Steelpillow (Talk) 09:27, 1 October 2015 (UTC)
(Yes, the genus of {5/2, 5} is indeed 4, as its Euler characteristic is −6 and it is orientable.) Double sharp (talk) 08:37, 2 October 2015 (UTC)

Not exactly, but trying to comprehend your words. Of course, we can talk about abstract graphs where doesn't matter if it is planar or not. It is an independent topological space. If it is not planar, then when we draw it on a sheet of paper, then there will appear line crossings that "do not count", i.e, that arent a vertex. Of course we can draw planar graphs also in an entangled form where the lines cross not only at vertices. Still it is planar. But I think, that we can talk about "faces" only when we embed a planar graph in the sphere. If the embedding is the function, then the faces are the connected parts of . Generally, the faces depend on too, not only on . But how do you define faces in the case of a nonplanar graph? 89.135.8.194 (talk) 05:51, 2 October 2015 (UTC)

You choose some cycles in the graph and call them faces. If you like, you can also associate each chosen cycle with a topological disk and glue the disks together along the edges, but that step is not necessary for understanding the collection of vertices, edges, and cycles as an abstract polyhedron. —David Eppstein (talk) 06:24, 2 October 2015 (UTC)

Is there a difference between your "abstract polyhedron" and CW complexes? 89.135.8.194 (talk) 06:31, 2 October 2015 (UTC)

Is there a difference between your "abstact polyhedron" and CW-complexes? 89.135.8.194 (talk) 06:31, 2 October 2015 (UTC)

Yes. There are abstract polytopes which are not CW-complexes and there are CW-complexes which are not abstract polytopes (although in three dimensions, all abstract polyhedra are CW-complexes). At a foundational level, abstract theory is overtly set-theoretic in nature, so the two theories express themselves rather differently. In terms of the structures allowed, a CW-complex requires all cells (of any dimension) to be topologically simple, while abstract theory is more general in allowing toroidal and other non-simple cells (or j-faces). As it happens, planar faces are always simple so for 3D polyhedra this distinction is trivial. On the other hand CW-complexes are more general in that they do not require cells to be assembled into a higher polytope. I don't know much about CW-complexes but as I understand it, say an n-ball attached to a 0-dimensional CW-complex (0-complex) together comprise a valid n-complex, but this is certainly not a valid abstract polytope. Also, a CW-complex need not "fill in the gaps", for example a graph need not highlight any particular cycles as cells or faces. A skeletal polyhedron is abstractly "unfaithful" or incomplete but, understood as a graph, is a valid CW-complex in its own right. This can be significant, for example consider a skeletal regular icosahedron. Abstractly we may have identified triangular cycles as bounding 2-faces of a convex icosahedron, or we might have identified pentagonal cycles bounding a great dodecahedron: we have to have made the choice. But the CW-complex of the skeleton is sufficient to itself and does not need to choose. (One can of course make the choice anyway and construct a distinct, higher-dimensional CW-complex.) — Cheers, Steelpillow (Talk) 08:52, 2 October 2015 (UTC)

This is very interesting, thank you. I'm starting to understand you. 89.135.8.194 (talk) 06:46, 3 October 2015 (UTC)

Archive 1Archive 2Archive 3Archive 4