In the notion that a line is made of countable points, this supposes alpha_0 = C, which is generally regarded false: there are more points on the line, then can ever be constructed.
In view of context, one notes that in 3d, a point requires three equal signs, while a line requires only two. A point, then is an intersection of a line and a plane, since 3 = 2+1. In this regard, a point is more information than a line, and is a deeper construction.
A line, then is not "made of" points, but "contains" points. There are places on the line that have no construction.
papernuke wrote:What does alpha_0 = C mean?
papernuke wrote:I thought in 3D a point needed three coordinates, and 2 for 2D, so what do you mean by three/two equal signs are needed?
papernuke wrote:If a line only "contains" points, then what would it be made of? If (from my first post) a line "contains" an infinite amount of then it wouldn't it just be "made up" of points?a line is certainly not made of anything "physical" (like atoms) because a line only exists in your imagination (yes?).
papernuke wrote:Also, what do you mean when you say that there are places on a line that have no construction? Wouldn't what you say mean that some parts of the line are simply "not there" or empty?
Hayate wrote:Zero times infinity is undefined, so why can't they make it up?
I wrote:Zero times infinity is undefined, so why can't they make it up?
But since we specify either a radius for a circle, or a length for a line segmant, on our scale, this then covers an infinite number of these infinite points making up the line, which are viewed all at once).We end up with a paradox; because the circle, and the endless straight line [apeirogon] are supposed to be the same object! What has happened, is that the straight line, in which the lengths of the sides remained fixed [as we increased the number of sides from 3 to infinity] is an infinitessimal projection of the perimeter of the circle! The sides in the "circle" projection had shrunk down to zero in length! This makes sense, as every line segment is considered to be composed of an infinite number of points, which are zero in length. It has to be, as mathematically, there is no limit to division of length. Take any object with a width, or area, those lengths can always be halved, tenthed, hundredth, etc. Take any space between objects, and it can always be halved, etc. While the lines segments are "next to each other" (adjacent) at 180°; the individual points on the circle are not "next to each other". If you take one point, of zero length, and place it "next to" another point, also of zero length, they won't sit beside one another; but occupy the same spot! (Unless you have some amount of space between them). It would take an infinite number of them to reach the "next" place; and even that is undefinable, as they do not fill any space for there to be any "next place". "Next to" nothing is still nothing!
Nick wrote:I thought infinity x 0 = anything you want, since neither 0 nor infinity are numbers, but concepts.
wendy wrote:There is no paradox: an endless straight line is never a circle, but a horogon. The paradoxes are caused in part by using the same terms for different things, and by making assumptions about completion.
An 'apeirotope' is a tiling. The greek word 'apeiron' is used to express vastness of space 'without (a-) + limit (peri). In this sense, one might cover a plane with hexagons so that there is no limit (edges exposed in the plane). That is, an 'apeirohedron' is 2d patches limitlessly in the same 2d space. All polytopes exist as an apeirotope in _some_ space. Likewise, every apeirotope can become a polytope with a margin-angle > 180° by reducing the curvature of space.
In hyperbolic geometry, taking polygons with ever-larger number of edges, does indeed approximate the horogon, and one is scarsely to tell whether the polygon at hand is a {1e80} or {w4}, since the two so exactly follow each other. On the other hand, were one taking a circle as {w4}, the horogon, such that it is not apparent whether x=2x, for example, then every circle is exactly the same size (or rather one can not distinguish the sources of the images as different), and one notes that inversive, not euclidean metric geometry applies to the model.
Eric B wrote:Oh, I had never heard anyone else use a circle as an ∞-gon (except implying it when raising m and n in a duoprism to ∞ to yield a duocylinder, and even when I pointed that out in light of my "circle as ∞-gon" idea, it was still not really "bought").
It seems C would be uncountable, because what you would be "counting" would be the infinitessimal "points", which are not countable at all. as I say on my page, you can not even place one "next to" another (without sopace inbetween), as they occupy no space.
So yes, "completing infinity" is what raises the paradox I'm discussing, because the only way to have infinity as a containable whole (as a circle is), is to reduce all its "units" down to zero!
So the countable aleph 0 becomes an uncountable C number of nullitopes.
"instrument variable"; that soulds like a good descriptive term.
Still, did any of these other mathematicians ever speak of extending the positive number line backwards with "...999999" (representing -1)?quickfur wrote:Eric B wrote:Oh, I had never heard anyone else use a circle as an ∞-gon (except implying it when raising m and n in a duoprism to ∞ to yield a duocylinder, and even when I pointed that out in light of my "circle as ∞-gon" idea, it was still not really "bought").
Your idea of "closing" the real line at infinity is interesting, though: and you're not the first one who thought of it. Mathematicians in the past, like Riemann, have thought of "closing the circle", so to speak, by adding a "point at infinity". The term for this is "compactification": you take the set of all real numbers and add one more element to it, called infinity (for this to work out correctly, you cannot distinguish between positive/negative infinity). This then gives the real line some nice closure properties, although one must still be careful not to confuse this infinity with other things commonly thought of as infinity.
(Technically speaking, however, compactification only works out "nicely" if you're dealing with complex numbers on the complex plane, in which case adding the point at infinity yields what is called the Riemann sphere. I don't know enough about compactification to know what are the caveats of using only the real numbers in this case.)
This was something I was covering in my essay.It seems C would be uncountable, because what you would be "counting" would be the infinitessimal "points", which are not countable at all. as I say on my page, you can not even place one "next to" another (without sopace inbetween), as they occupy no space.
So yes, "completing infinity" is what raises the paradox I'm discussing, because the only way to have infinity as a containable whole (as a circle is), is to reduce all its "units" down to zero!
So the countable aleph 0 becomes an uncountable C number of nullitopes.
"instrument variable"; that soulds like a good descriptive term.
One must be careful with intuitive notions when dealing with infinity, because infinite quantities have a lot of unintuitive properties.
Take for example the set of rational numbers: how much "space" does each rational number occupy? If you lay them out in the usual order along the number line, then between any two of them there is always another rational. So they must also occupy "no space", since if they did occupy non-zero space, then you could find a pair of rational numbers that do not have another rational in between (this is impossible, since adding them and dividing by 2 always gives another rational that's in between them). The mathematical term for this property is density: we say that the rational numbers are dense because between every two rationals, no matter how close they may be, there's always another rational.
I misunderstood the term "countable". I'm still trying to understand what "uncountable" really is, then. Wikipedia mentioned injective functions.
However, there is a way to rearrange the rationals such that they map 1-to-1 with the natural numbers. That is to say, the number of rationals is the same as the number of natural numbers! This number is aleph_0, and is far less than c, the number of points in the real line. (The notation c is standard notation in set theory.) How can this be true? Simple: write every rational as a quotient of two integers, say p/q. Then make a table, with the rows representing p, and the columns representing q. Every rational then maps to a unique entry in the table (although some table entries may correspond with more than one rational). Now, flatten the table as follows: (1) the first element in the list is the entry at (1,1); (2) the next two entries are (1,2) and (2,1); (3) the next 3 entries are (1,3), (2,2), (3,1), ... and so forth. In other words, we traverse the table via its diagonals. You can see that this will eventually reach any rational number you can think of. Now, lay these diagonals end-to-end, and you have a countable sequence of all rational numbers (although it is not in ascending or descending order of the value of the rationals).
So you see, even though the rationals are dense (in the usual ordering), that does not mean they are uncountable!
With the real numbers, however, it is not possible to rearrange them into a countable sequence, no matter how hard you try. This is not just because we don't know how to, but more because there cannot be any such sequence, because if there were, the number of reals would be the same as the number of naturals, which cannot be true (Cantor proved that there would be a contradiction). In other words, there are so many reals that they simply cannot be "unpacked" into a countable sequence, unlike the rationals.
Basically, the "leap" is what I was discussing in the essay. (I've now set up the new webspace, purchasing my own domain name. It's at http://www.erictb.info/essays.html#math)
So the number of rationals (which is equal to the number of naturals) is one kind of infinity, and the number of reals is another kind of infinity, and the first is strictly less than the second, so they are two different infinite quantities. These two infinite quantities are not the same as the "point at infinity" in the Riemann sphere.
In other words, once we get out of the realm of the finite into the realm of the infinite, we realize that there are different kinds of infinity, and they may be related to each other (the number of naturals is less than the number of reals), or they may be completely unrelated to each other (there is no meaningful way to compare the "point at infinity" with, say, the number of reals). The counting numbers are not the same as the cardinal (size) numbers once you are past the finite realm; even though they are related, they are distinct concepts that cannot be conflated.
Coming back to the idea of making a circle out of an infinite number of segments: you should be aware that in taking the limit of polygons with an increasing number of vertices, a "quantum leap" is needed to actually reach the limiting figure, the circle. We should not confuse the act of constructing better polygonal approximations to the circle to the actual attainment of the circle. One way to illustrate this is to consider how we may approximate the set of real numbers by representing them as N-digit approximations. When we use 1 digit, we only have 10 numbers (0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10). When we use 2 digits, we have 0.1, 0.2, 0.3, ... 1.0, 1.1, 1.2, ... 9.8, 9.9: we can form 100 numbers. If we add another digit to it, we can form 1000 numbers. We can keep going, and each digit we add multiplies the size of our set by 10. Now, look at the sequence of our set sizes as we increase the number of digits: 10, 100, 1000, 10000, ... etc.. What is the limit of this sequence? The limit is "infinity"... or, to be precise, it's a countable infinity. That is to say, aleph_0 is the limit of the size of our approximating sets. However, if we now make the quantum leap to numbers with an infinite number of digits, suddenly the size of our set is bigger than aleph_0: it is in fact C, because we have now constructed the real numbers. But how can this be? We know that the limit of the sizes of our approximating set is only aleph_0. So how can it be that the set we get by allowing an infinite number of digits suddenly becomes bigger than aleph_0?
The answer is that when we made the quantum leap from a finite number of digits to an infinite number of digits, we went a LOT farther than we thought we did. When we were in the finite realm, each digit we added increased our set by a factor of 10; however, when we jumped from the finite to the infinite, we actually increased the size of our set by C itself. No matter how many finite digits we added, we could only get a countable set, and each time we add more digits, we only added a countable number of numbers to the set. However, an uncountable number of numbers were added in that last step when we jumped from finite numbers of digits to an infinite number of digits. Note well that it is in that last step where an uncountable number of elements were added. This means that what we see in the finite realm when we were merely adding a finite number of digits does not even begin to approximate what happens in that last step. Jumping from the finite to the infinite is a leap so huge that we could not have anticipated the uncountable number of elements that would be added.
Coming back to approximating the circle: we can make polygons of as many (finite) vertices as we want, and the result is still a countable number of vertices, with a countable number of line segments. But in that last step, when we finally say, OK, let's jump from a finite number of vertices to an infinite number of vertices, something happens: we made that leap from the finite to the infinite, and in the process, an uncountable number of "sides" were added, resulting in a circle.
In other words, we should not imagine that we can somehow "magnify" a circle by an "infinite" factor (whatever that means) so that we can see individual line segments; actually, no matter how much you magnify a circle, there will still be the same number of points: an uncountable number of points between every two points. Even though the finite polygonal approximations of the circle could be magnified so that we can see the edges, when we made that leap out of the finite realm into the infinite realm something happened: there are no longer any line segments left; they have been replaced by an uncountable number of points. Even though we expected there to be only aleph_0 number of segments, since aleph_0 is the upper limit of the number of segments in our finite approximations, just as our sets of numbers approximating the reals earlier suddenly acquired an uncountable number of elements in the last step (the leap into infinity), so our polygonal approximations suddenly acquire an uncountable number of "vertices" in the last step, when we leaped into infinity.
The bottom line is, our intuition about how things behave in the finite realm does not generalize to the infinite realm. We thought we were only approaching aleph_0, but actually when we made the leap, we ended up a lot farther than aleph_0; we ended up in C.
Eric B wrote:Still, did any of these other mathematicians ever speak of extending the positive number line backwards with "...999999" (representing -1)?quickfur wrote:Eric B wrote:Oh, I had never heard anyone else use a circle as an ∞-gon (except implying it when raising m and n in a duoprism to ∞ to yield a duocylinder, and even when I pointed that out in light of my "circle as ∞-gon" idea, it was still not really "bought").
Your idea of "closing" the real line at infinity is interesting, though: and you're not the first one who thought of it. Mathematicians in the past, like Riemann, have thought of "closing the circle", so to speak, by adding a "point at infinity". The term for this is "compactification": you take the set of all real numbers and add one more element to it, called infinity (for this to work out correctly, you cannot distinguish between positive/negative infinity). This then gives the real line some nice closure properties, although one must still be careful not to confuse this infinity with other things commonly thought of as infinity.
(Technically speaking, however, compactification only works out "nicely" if you're dealing with complex numbers on the complex plane, in which case adding the point at infinity yields what is called the Riemann sphere. I don't know enough about compactification to know what are the caveats of using only the real numbers in this case.)
I misunderstood the term "countable". I'm still trying to understand what "uncountable" really is, then. Wikipedia mentioned injective functions.[...]
With the real numbers, however, it is not possible to rearrange them into a countable sequence, no matter how hard you try. This is not just because we don't know how to, but more because there cannot be any such sequence, because if there were, the number of reals would be the same as the number of naturals, which cannot be true (Cantor proved that there would be a contradiction). In other words, there are so many reals that they simply cannot be "unpacked" into a countable sequence, unlike the rationals.
[...]Basically, the "leap" is what I was discussing in the essay. (I've now set up the new webspace, purchasing my own domain name. It's at http://www.erictb.info/essays.html#math)
So aleph 0 is the "approachable" infinity, and C is the hypothetical "reached" infinity. Of course, you can't reach infinity (either aleph or C), so with aleph, you just keep approaching it forever, and with c, you make the leap; but then, you're no longer really on the "line" of numbers. So the segments become replaced with the points. So when I say "magnification"; it's not actual magnification, of course, because, it's infinitessimal magnification; and what is that, really? It itself is the quantum leap from the finite realm to the infinite realm.
Oh, by who, and where can I find info on it. Is there a name for this branch of math?quickfur wrote:Eric B wrote: Still, did any of these other mathematicians ever speak of extending the positive number line backwards with "...999999" (representing -1)?
In fact, this has been studied before.
This is probably like what I mentioned. Like ...99999. not being divisible by 9, even though it consists of all 9's. And that multiplication and division become meaningless in that range (Because where 0 is the center of symmetry for addition; 1 is the center of symmetry for multiplication).Only, the set of such "numbers" have rather strange properties (unfortunately I can't recall them off the top of my head) that makes them difficult to map back to the usual numbers.
OK; thanks. I thought on the wikipedia info more, and I think I started to get it.
Well, maybe I should explain precisely what "countable" means, first.
The motivating intuition is this: think back of when you were a child at a birthday party (or think of some child at a birthday party), and you haven't learnt to count past 5 yet. Suppose more than 5 people were present (say, 10 or so). You have a number of hats (also more than 5) that is to be distributed to each person present. How would you know that the number of hats equals the number of people? In theory, if you could count the number of hats and then count the number of people, you could compare the numbers to see if they were equal; however, the assumption is that you haven't learnt to count that high yet. What's another way of making the comparison that doesn't require you to count that high? Here's one solution: pass out the hats, one to each person, and if at the end, there are no hats left over and there are no persons without a hat, then you know that there are as many hats as there are people. This is basically the "pigeon hole principle" (if the number of pigeons and the number of holes are equal, then there will be no pigeons without a hole, and no hole without a pigeon).
Now, the idea behind Cantor's infinities (countable or otherwise) is this: we haven't learnt to count up to infinity yet (and probably never will!), but we can compare two infinities by establishing injective functions between them. If there exists at least one bijective function between two sets (possibly infinite), then we say that the two sets have equal cardinality (size). Note that in the infinite realm, it is possible for a proper subset of a set to have the same cardinality as itself, so we only require the existence of one bijective function between them to establish equality of cardinality.
As a simple example, consider the set of all natural numbers, and the set of even numbers. It is simple to check that the function f(n) = 2*n is a one-to-one function between these two sets. Hence, by the definition above, the cardinality of the natural numbers equals the cardinality of the even numbers. (This may seem strange at first: the even numbers are only half of the set of natural numbers; how can they still have the same number of elements, so to speak? The answer is that their cardinality is infinite, and therefore has properties that are different from the finite numbers. In fact, under some formal systems, an infinite set is defined to be any set that has the same cardinality as one of its proper subsets.)
The set of integers also have the same cardinality as the natural numbers: take any integer, and if it is positive, multiply it by 2, and if it is negative, multiply it by -2 and then subtract 1. This is a bijection from the integers to the natural numbers.
The set of rationals are also of the same cardinality as the set of natural numbers: using the method of turning the rationals into a linear chain, as I've described in my previous post, we can, after forming that chain, assign them to the natural numbers in order, thereby forming a bijection. Using the same method, we can also prove that the set of vectors with integer coordinates have the same cardinality as the set of natural numbers (first, map the integer coordinates to the natural numbers, as described in the previous paragraph, then form a table indexed by each respective coordinate, then apply the diagonal traversal trick to map each coordinate pair to a unique natural number). By induction, the set of n-dimensional vectors with integer coordinates have the same cardinality as the set of natural numbers, for all finite n.
So far, it seems that our definition of cardinality has produced only a single infinity, the cardinality of the natural numbers. This we call the countable infinity. When we say a set is countable, we mean that it is either finite, or has a bijection with the natural numbers. One consequence of the countable infinity is that if a set is countable, then it can be laid on in a sequence: since it is bijective with the natural numbers, we can arrange them in the order of the natural numbers and get a sequence that eventually covers the entire set. In other words, if it is possible to lay out a set in a (discrete) sequence, then it has the cardinality of the natural numbers. The cardinality of the natural numbers is denoted aleph_0.
However, Cantor proved that there is another infinity which is different from the countable infinity. In fact, it must be strictly greater than the countable infinity, because there is no bijection possible between this infinity and the natural numbers. In other words, this is an uncountable infinity. An uncountable infinity is one that is greater than the cardinality of the natural numbers, and there is no bijection between them. (Note that it is not sufficient to find one non-bijective function between them; one must prove that it is not possible to find any bijective function.) This uncountable infinity is the cardinality of the real numbers. It is not possible to arrange the real numbers in a (discrete) sequence that eventually covers all possible reals (because if we could, they would have the cardinality of the natural numbers).
I won't attempt to prove that the cardinality of the reals must be strictly greater than the cardinality of the naturals; you can find it online in many places. The cardinality of the reals is denoted by c, which stands for "continuum" (as opposed to the countable infinity, which can always be rearranged into a discrete sequence).
"Replaced" was not meant to be taken literally. I fact, it was you who first used the term to describe what I was saying, and I just picked up from there. I always had said "shrunk". But of course, that term will only carry but so far as well, and faces that same "leap" at some point.[...]Basically, the "leap" is what I was discussing in the essay. (I've now set up the new webspace, purchasing my own domain name. It's at http://www.erictb.info/essays.html#math)
So aleph 0 is the "approachable" infinity, and C is the hypothetical "reached" infinity. Of course, you can't reach infinity (either aleph or C), so with aleph, you just keep approaching it forever, and with c, you make the leap; but then, you're no longer really on the "line" of numbers. So the segments become replaced with the points. So when I say "magnification"; it's not actual magnification, of course, because, it's infinitessimal magnification; and what is that, really? It itself is the quantum leap from the finite realm to the infinite realm.
It helps to be precise when dealing with infinity, because there are many pitfalls that one can get stuck in if one is not careful. I don't think it's accurate to think of a circle as being a polygon where the line segments are "replaced" with points: the circle is the limiting shape of the sequence of polygons with increasing degree; it is not one among them. Just because a sequence approaches a limit, does not mean that the limit shares any of the properties of any of the members of the sequence at all.
I kind of disagree, because what you describe is basically a similar principle to how in 1D, the line segment represents the simplex; orthotope, cross-tope, as well as the hypersphere. (Which since I am considering an ∞-tope; hence, "one among them"; but now; it's reduced to a di-1tope). So what really is a higher dimensional analogue of the line segment? It could be just more line segments; making up the boundaries of polygons, polyhedra, polychora, and so forth. In another sense, it's corresponds to whole polygons, polyhedra, polychora themselves. Or, any of the "families" mentioned. Basically, it corresponds to all of them! The correspondences collapse because of the reduction in dimensions.
For example, the sequence of icosahedra with decreasing radius, with each successive radius being half of the previous one, has the limit at a single point. Does that mean that if you magnify a point "by an infinite amount", you will get an icosahedron? Of course not; the limit of the sequence of cubes with decreasing radius is also a point, so if you magnify a point by an "infinite amount", will you get a cube or an icosahedron? You will get neither, because it is not meaningful to speak of infinite magnification in this manner. The point is not a member of the sequence of shrinking icosahedra, neither is it a member of the sequence of shrinking cubes, nor a member of any sequence of any shrinking figure, for that matter. It is the limit of each of these sequences, but it stands apart from all of them. The process of taking the limit is not invertible, even if it does seem rather compelling sometimes!
In the same way, the circle is a limit of the sequence of polygons with increasing degree, but that sequence is not the only sequence that converges into a circle. One could, for example, consider the sequence of star polygons with Schäfli symbol {n/2}. (I.e., the star polygon with n vertices where each edge connects every other vertex.) When n=1, we get the pentagram; when n=2, we get the hexagram, etc.. See http://en.wikipedia.org/wiki/Image:Regular_Star_Polygons.jpg: our sequence is the one along the line marked "n/2". You can see that as n increases, the non-convex boundary of the star becomes shallower and shallower. What is the limit of this sequence? It should be clear that this sequence also approaches the circle, since at the limit, the non-convex boundary will flatten into a convex boundary. So, given a circle magnified by an "infinite" amount, why wouldn't we see a star polygon segment instead of just a line?
In fact, we might as well take this to its logical conclusion: the sequence of star polygons {n/3} also converges to the circle! It will take "longer" for the non-convex boundary to "flatten out", sure, but "at infinity", so to speak, it does eventually flatten out. So now we have a problem: if it were in fact possible to magnify a circle by an infinite amount, then which of these sequences should be obtained? What makes us think that a sequence of edges is the only possibility? Why wouldn't we also obtain two sequences of edges, each connecting every other vertex (corresponding with the {n/2} stars sequence)? Why shouldn't we also obtain three sequences of edges, each connecting every three vertices (corresponding with the {n/3} stars sequence)? The circle is the limit of all of these sequences, but it is not a member of any of them, and so properties of members of these sequences cannot always be extrapolated to the circle.
From another point of view, the impossibility of magnifying a circle "by an infinite amount" to see individual edges is also indicated by the fact that the number of points on the circle is uncountable, and therefore cannot be arranged in a sequence. (If it could, it would be countable, which is a contradiction.) It is not possible to magnify it so that the points become separated; because by the very definition of the circle being a continuous curve, it must have as many points as the continuum, and it is not possible to magnify the continuum so that its points become separated (since it wouldn't be the continuum otherwise!). In fact, it is not even possible to rearrange the points in the continuum into a sequence, much less separate them while retaining their usual order.
Eric B wrote:Oh, by who, and where can I find info on it. Is there a name for this branch of math?quickfur wrote:Eric B wrote: Still, did any of these other mathematicians ever speak of extending the positive number line backwards with "...999999" (representing -1)?
In fact, this has been studied before.
This is probably like what I mentioned. Like ...99999. not being divisible by 9, even though it consists of all 9's. And that multiplication and division become meaningless in that range (Because where 0 is the center of symmetry for addition; 1 is the center of symmetry for multiplication).Only, the set of such "numbers" have rather strange properties (unfortunately I can't recall them off the top of my head) that makes them difficult to map back to the usual numbers.
OK; thanks. I thought on the wikipedia info more, and I think I started to get it.Well, maybe I should explain precisely what "countable" means, first.
[...]
"Replaced" was not meant to be taken literally. I fact, it was you who first used the term to describe what I was saying, and I just picked up from there. I always had said "shrunk". But of course, that term will only carry but so far as well, and faces that same "leap" at some point.[...]
It helps to be precise when dealing with infinity, because there are many pitfalls that one can get stuck in if one is not careful. I don't think it's accurate to think of a circle as being a polygon where the line segments are "replaced" with points: the circle is the limiting shape of the sequence of polygons with increasing degree; it is not one among them. Just because a sequence approaches a limit, does not mean that the limit shares any of the properties of any of the members of the sequence at all.
[...]I kind of disagree, because what you describe is basically a similar principle to how in 1D, the line segment represents the simplex; orthotope, cross-tope, as well as the hypersphere. (Which since I am considering an ∞-tope; hence, "one among them"; but now; it's reduced to a di-1tope). So what really is a higher dimensional analogue of the line segment? It could be just more line segments; making up the boundaries of polygons, polyhedra, polychora, and so forth. In another sense, it's corresponds to whole polygons, polyhedra, polychora themselves. Or, any of the "families" mentioned. Basically, it corresponds to all of them! The correspondences collapse because of the reduction in dimensions.[...]
For example, the sequence of icosahedra with decreasing radius, with each successive radius being half of the previous one, has the limit at a single point. Does that mean that if you magnify a point "by an infinite amount", you will get an icosahedron? Of course not; the limit of the sequence of cubes with decreasing radius is also a point, so if you magnify a point by an "infinite amount", will you get a cube or an icosahedron? You will get neither, because it is not meaningful to speak of infinite magnification in this manner. The point is not a member of the sequence of shrinking icosahedra, neither is it a member of the sequence of shrinking cubes, nor a member of any sequence of any shrinking figure, for that matter. It is the limit of each of these sequences, but it stands apart from all of them. The process of taking the limit is not invertible, even if it does seem rather compelling sometimes!
[...]
So yes, by saying that a point could represent a cube or icosahedron; basically; what you're saying is that in 0D, the nullitope would have to correspond to all polytopes, and that would include the cube and icosahedron. And saying that "if you magnify a point by an 'infinite amount', will you get a cube or an icosahedron?" is basically posing the problem of 0 × ∞ = n. This equation is generally "not allowed"; but hypothetically, any number would possibly fit, because any n/0=∞; and by extension; n/∞=0. So in that sense, a point (representing 0 × ∞) could hypothetically stretch out to anything.
Likewise, with the star analogy, as n approaches ∞, for any the so-called "points" flatten out towards the surface; hence, all finite densities are collapsed onto the perimeter. So yes, the circle would represent all finite Schlafli densities (I also looked into what the "highest" density would be. Of course, it would also be infinite, but it would swell either into an infinitely dense solid disk (If the total diameter is fixed), or swell outward to infinity; still with infinite density (if the radius is fixed). An infinite sequence of polygons rotated at 360/∞ would produce produce an infinitely dense ring, and the symbol would still be {n/∞}.
Of course, allof this is abstract, and not "real" in our everyday sense. So I am quite aware of the limitations.
You earlier mentioned Riemann. Is that who it is? I'll have to look him up. From him, I'm familiar with his models of the shape of the universe.quickfur wrote:Eric B wrote:Oh, by who, and where can I find info on it. Is there a name for this branch of math?quickfur wrote:
In fact, this has been studied before.
It's not really a branch of math per se, it was just some random musings by a mathematician.
Yeah; like I said; the only thing you could do with them is add and subtract. It would only only serve an alternate negative number system for subtraction. I imagine that that's not really needed, but it's still an interesting extension.The properties of such "numbers" do not lend themselves to very many useful applications (even within a pure math context), so they aren't really worth studying very much.
"What's "identity"? The number at the center of symmetry? (I had forgotten what the term was).This is probably like what I mentioned. Like ...99999. not being divisible by 9, even though it consists of all 9's. And that multiplication and division become meaningless in that range (Because where 0 is the center of symmetry for addition; 1 is the center of symmetry for multiplication).Only, the set of such "numbers" have rather strange properties (unfortunately I can't recall them off the top of my head) that makes them difficult to map back to the usual numbers.
The usual term is "identity".
But what I meant was that it's not evenly divisible, like 99999/9. After all, it is -1/9, which is -.111111..., which isn't considered "going into" the number.
As for divisibility, ...99999 is definitely divisible by 9: it divides evenly into ...11111. It should not be surprising that an "infinite" number divides into another "infinite" number. :-)
Yeah; that is basically what I was conveying by saying that there was "no next to" a given point, and such.Likewise, with the star analogy, as n approaches ∞, for any the so-called "points" flatten out towards the surface; hence, all finite densities are collapsed onto the perimeter. So yes, the circle would represent all finite Schlafli densities (I also looked into what the "highest" density would be. Of course, it would also be infinite, but it would swell either into an infinitely dense solid disk (If the total diameter is fixed), or swell outward to infinity; still with infinite density (if the radius is fixed). An infinite sequence of polygons rotated at 360/∞ would produce produce an infinitely dense ring, and the symbol would still be {n/∞}.
Of course, all of this is abstract, and not "real" in our everyday sense. So I am quite aware of the limitations.
Not sure what you mean by "rotated at 360/∞"---presumably an infinitesimal rotation that eventually spans all possible rotations about the origin. Again, this is where one has to be careful about generalizing finite concepts into infinity. Saying that an infinite number of rotations about 360/∞ will span the circle makes the implicit assumption that every real number has another unique real that is "next" to it, so that you could span all possible rotational angles by stepping from one real to the next until you've stepped through them all.
Unfortunately, compelling as this intuition may be, it does not work mathematically. The very definition of the real numbers means that between every two reals there must lie another real (and in fact, continuumly many reals!). So no matter how small our step is, we will always miss some reals. (Actually, that is the understatement of the century: any non-zero step skips over continuumly many reals---this is way, wayyy, wayyyyyyy more than the number of naturals, which is infinite!) Of course, here we're talking about infinitesimals, but this still can't be done. Suppose we expand the reals by allowing an infinitesimal element L. Then we could start with a real number r, and step from it to r+L. However, r+L is not a real number (the only time an "expanded" number r+kL is real is when k is zero, since we can fit infinitely many infinitesimals between two reals). What about r+2L, r+3L, ... etc.? None of them are real numbers. This means that we have not made very much progressive from r to the "next" real number. We've barely begun to approach the "next" real! But what if we add infinitely many L's? Well, that depends on what size L is. It also depends on what kind of infinity we're talking about (remember, there are multiple incompatible infinities). To make the following discussion easier, let's call "numbers" of the form r+kL "expanded numbers", and we say r is the "real part" (the part corresponding with a real number), and kL the "infinitesimal part" (corresponding with the infinitesimal distance from the real number r to the expanded number r+kL). Our task boils down to essentially finding a k such that the real part of (r+kL) is greater than r (since otherwise, we have made no progress at all). One possible infinity, given that we've expanded our reals with L, is simply 1/L. But 1/L is "too big": (1/L)*L = 1, which has already crossed continuumly many reals (it stepped from r to r+1, which is not what we want, since it skipped over all the reals between r and r+1). Is it possible to use a smaller infinity, say K, so that by taking K steps of L we will get to the "next" real number? Unfortunately, the answer is no, because we come right back to the original quandry: the only way for an infinitesimal to make any real progress from r is if L is multiplied by something that will give it a non-zero real part. But what should this non-zero real part be? No matter how small we make it, say KL = s for some small real number s, there is a real number between r and r+s, so our step is still too big: it has missed this real that lies in between. This is true for all possible real numbers s, so we're stuck: if we chose K such that KL has a zero real part (i.e., KL is still an infinitesimal), then r+KL is smaller than all real numbers greater than r, so we've made no progress at all. But if we chose K such that KL does make some progress, it always turns out to be the case that it's too much progress: r+KL is too big, and has skipped over continuumly many reals that lie between r and r+KL.
These are the only possibilities, so it is actually impossible to span the reals by applying an infinitesimal step each time! In other words, there is no such rotation angle as 360/∞, even if we allow infinitesimals!
The bottomline is that this is just a manner of speech that hides the fact that we're taking a limit here (the limit of all polygons rotated n times by 360/n, as n diverges without bound). The limit, again, stands apart from the approximating sequence.
This can be seen most clearly in the considerations on your webpage,
which notes that in the sequence of polygons with increasing degree, if we keep the radius fixed, it will converge to a circle, and if we keep the edge length fixed, it converges to an apeirogon. There is no reason to think that these two limits are the same thing, because, after all, they are the limits of two different sequences!
wendy wrote:A line, then is not "made of" points, but "contains" points. There are places on the line that have no construction.
Users browsing this forum: Baidu [Spider] and 1 guest