|
|
| Line 1: |
Line 1: |
| In [[mathematics]], the '''von Neumann paradox''', named after [[John von Neumann]], is the idea that one can break a planar figure such as the [[unit square]] into sets of points and subject each set to an [[special affine group|area-preserving affine transformation]] such that the result is two planar figures of the same size as the original. This was proved in 1929 by [[John von Neumann]], assuming the [[axiom of choice]]. It is based on the earlier [[Banach–Tarski paradox]] which is in turn based on the [[Hausdorff paradox]].
| | It depends on the quality of the Wordpress theme but even if it's not a professional one you will be able to average 50-60$ EACH link. Thus, it is important to keep pace with this highly advanced age and have a regular interaction with your audience to keep a strong hold in the business market. This is a service where people write articles using a specific keyword you have given them. s and intelligently including a substantial amount of key words in the title tags, image links, etc. This particular wordpress plugin is essential for not only having the capability where you improve your position, but to enhance your organic searches for your website. <br><br>Generally, for my private income-making market websites, I will thoroughly research and discover the leading 10 most worthwhile niches to venture into. If you are a positive thinker businessman then today you have to put your business online. Some plugins ask users to match pictures or add numbers, and although effective, they appear unprofessional and unnecessary. Being able to help with your customers can make a change in how a great deal work, repeat online business, and referrals you'll be given. As soon as you start developing your Word - Press MLM website you'll see how straightforward and simple it is to create an online presence for you and the products and services you offer. <br><br>Photography is an entire activity in itself, and a thorough discovery of it is beyond the opportunity of this content. But if you are not willing to choose cost to the detriment of quality, originality and higher returns, then go for a self-hosted wordpress blog and increase the presence of your business in this new digital age. Those who cannot conceive with donor eggs due to some problems can also opt for surrogacy option using the services of surrogate mother. Enough automated blog posts plus a system keeps you and your clients happy. There are plenty of tables that are attached to this particular database. <br><br>Whether your Word - Press themes is premium or not, but nowadays every theme is designed with widget-ready. High Quality Services: These companies help you in creating high quality Word - Press websites. However, you may not be able to find a theme that is in sync with your business. Fast Content Update - It's easy to edit or add posts with free Wordpress websites. Fortunately, Word - Press Customization Service is available these days, right from custom theme design, to plugin customization and modifying your website, you can take any bespoke service for your Word - Press development project. <br><br>You will know which of your Word - Press blog posts are attracting more unique visitors which in turn will help you develop better products and services for your customers. Should you have virtually any queries concerning exactly where along with how to work with [http://2am.eu/wordpressdropboxbackup790559 wordpress backup], you'll be able to contact us in our website. It can run as plugin and you can still get to that whole database just in circumstance your webhost does not have a c - Panel area. It can be concluded that white label SEO comprise of a third party who resells a contract involving IT expert or consultant, SEO professional and end user. Word - Press is the most popular personal publishing platform which was launched in 2003. However, if you're just starting out your blog site or business site, you can still search for an ideal theme for it without breaking your bank account. |
| | |
| Banach and Tarski had proved that, using [[isometric transformation]]s, the result of taking apart and reassembling a two-dimensional figure would necessarily have the same area as the original. This would make creating two unit squares out of one impossible. But von Neumann realized that the trick of such so-called paradoxical decompositions was the use of a [[group (mathematics)|group]] of transformations which include as a [[subgroup]] a [[free group]] with two [[generating set of a group|generators]]. The group of area preserving transformations (whether the [[SL2(R)|special linear group]] or the [[special affine group]]) contains such subgroups, and this opens the possibility of performing paradoxical decompositions using them.
| |
| | |
| ==Sketch of the method==
| |
| | |
| The following is an informal description of the method found by von Neumann. Assume that we have a [[free group]] ''H'' of area-preserving linear transformations generated by two transformations, σ and τ, which are not far from the identity element. Being a free group means that all the its elements can be expressed uniquely in the form <math>\sigma^{u_1}\tau^{v_1}\sigma^{u_2}\tau^{v_2} \cdots \sigma^{u_n}\tau^{v_n}</math> for some ''n'', where the <math>u</math>s and <math>v</math>s are all non-zero integers, except possibly the first <math>u</math> and the last <math>v</math>. We can divide this group into two parts: those that start on the left with σ to some non-zero power (we call this set ''A'') and those that start with τ to some power (that is, <math>u_1</math> is zero—we call this set ''B'', and it includes the identity).
| |
| | |
| If we operate on any point in Euclidean 2-space by the various elements of ''H'' we get what is called the orbit of that point. All the points in the plane can thus be classed into orbits, of which there are an infinite number with the [[cardinality of the continuum]]. Using the [[axiom of choice]], we can choose one point from each orbit and call the set of these points ''M''. We exclude the origin, which is a fixed point in ''H''. If we then operate on ''M'' by all the elements of ''H'', we generate each point of the plane (except the origin) exactly once. If we operate on ''M'' by all the elements of ''A'' or of ''B'', we get two disjoint sets whose union is all points but the origin. | |
| | |
| Now we take some figure such as the unit square or the unit disk. We then choose another figure totally inside it, such as a smaller square, centred at the origin. We can cover the big figure with several copies of the small figure, albeit with some points covered by two or more copies. We can then assign each point of the big figure to one of the copies of the small figure. Let us call the sets corresponding to each copy <math>C_1, C_2, \dots, C_m</math>. We shall now make a one-to-one mapping of each point in the big figure to a point in its interior, using only area-preserving transformations. We take the points belonging to <math>C_1</math> and translate them so that the centre of the <math>C_1</math> square is at the origin. We then take those points in it which are in the set ''A'' defined above and operate on them by the area-preserving operation σ τ. This puts them into set ''B''. We then take the points belonging to ''B'' and operate on them with σ<sup>2</sup>. They will now still be in ''B'', but the set of these points will be disjoint from the previous set. We proceed in this manner, using σ<sup>3</sup>τ on the ''A'' points from ''C''<sub>2</sub> (after centring it) and σ<sup>4</sup> on its ''B'' points, and so on. In this way, we have mapped all points from the big figure (except some fixed points) in a one-to-one manner to ''B'' type points not too far from the centre, and within the big figure. We can then make a second mapping to ''A'' type points.
| |
| | |
| At this point we can apply the method of the [[Cantor-Bernstein-Schroeder theorem]]. This theorem tells us that if we have an [[injection (mathematics)|injection]] from set ''D'' to set ''E'' (such as from the big figure to the ''A'' type points in it), and an injection from ''E'' to ''D'' (such as the identity mapping from the ''A'' type points in the figure to themselves), then there is a [[one-to-one correspondence]] between ''D'' and ''E''. In other words, having a mapping from the big figure to a subset of the ''A'' points in it, we can make a mapping (a bijection) from the big figure to ''all'' the ''A'' points in it. (In some regions points are mapped to themselves, in others they are mapped using the mapping described in the previous paragraph.) Likewise we can make a mapping from the big figure to all the ''B'' points in it. So looking at this the other way round, we can separate the figure into its ''A'' and ''B'' points, and then map each of these back into the whole figure (that is, containing both kinds of points)!
| |
| | |
| This sketch glosses over some things, such as how to handle fixed points. It turns out that it is necessary more mappings and more sets to work around this.
| |
| | |
| ==Consequences==
| |
| | |
| The paradox for the square can be strengthened as follows:
| |
| | |
| : Any two bounded subsets of the Euclidean plane with non-empty interiors are equidecomposable with respect to the area-preserving affine maps.
| |
| | |
| This has consequences concerning the [[problem of measure]]. As von Neumann notes,
| |
| | |
| :"Infolgedessen gibt es bereits in der Ebene kein nichtnegatives additives Maß (wo das Einheitsquadrat das Maß 1 hat), dass [sic] gegenüber allen Abbildungen von ''A''<sub>2</sub> invariant wäre."<ref>On p. 85 of: {{citation | first=J. | last=von Neumann | authorlink=John von Neumann | url=http://matwbn.icm.edu.pl/ksiazki/fm/fm13/fm1316.pdf | title=Zur allgemeinen Theorie des Masses | journal=[[Fundamenta Mathematica]] | volume=13 | pages=73–116 | year=1929 }}</ref>
| |
| | |
| :"In accordance with this, already in the plane there is no nonnegative additive measure (for which the unit square has a measure of 1), which is invariant with respect to all transformations belonging to ''A''<sub>2</sub> [the group of area-preserving affine transformations]."
| |
| | |
| To explain this a bit more, the question of whether a finitely additive measure exists, that is preserved under certain transformations, depends on what transformations are allowed. The [[Banach measure]] of sets in the plane, which is preserved by translations and rotations, is not preserved by non-isometric transformations even when they do preserve the area of polygons. As explained above, the points of the plane (other than the origin) can be divided into two [[dense set]]s which we may call ''A'' and ''B''. If the ''A'' points of a given polygon are transformed by a certain area-preserving transformation and the ''B'' points by another, both sets can become subsets of the ''B'' points in two new polygons. The new polygons have the same area as the old polygon, but the two transformed sets cannot have the same measure as before (since they contain only part of the ''B'' points), and therefore there is no measure that "works".
| |
| | |
| The class of groups isolated by von Neumann in the course of study of Banach–Tarski phenomenon turned out to be very important for many areas of mathematics: these are [[amenable group]]s, or groups with an invariant mean, and include all finite and all [[solvable group]]s. Generally speaking, paradoxical decompositions arise when the group used for equivalences in the definition of equidecomposability is ''not'' amenable.
| |
| | |
| == Recent progress ==
| |
| Von Neumann's paper left open the possibility of a paradoxical decomposition of the interior of the unit square with respect to the linear group ''SL''(2,'''R''') (Wagon, Question 7.4). In 2000, [[Miklós Laczkovich]] proved that such a decomposition exists.<ref>{{citation | first=Miklós | last=Laczkovich | title=Paradoxical sets under SL<sub>2</sub>['''R'''] | journal=Ann. Univ. Sci. Budapest. Eötvös Sect. Math. | volume=42 | year=1999 | pages=141–145 }}</ref> More precisely, let ''A'' be the family of all bounded subsets of the plane with non-empty interior and at a positive distance from the origin, and ''B'' the family of all planar sets with the property that a union of finitely many translates under some elements of ''SL''(2,'''R''') contains a punctured neighbourhood of the origin. Then all sets in the family ''A'' are ''SL''(2,'''R''')-equidecomposable, and likewise for the sets in ''B''. It follows that both families consist of paradoxical sets.
| |
| | |
| == References ==
| |
| <references/>
| |
| | |
| [[Category:Group theory]]
| |
| [[Category:Measure theory]]
| |
| [[Category:Mathematics paradoxes]]
| |
| [[Category:Theorems in the foundations of mathematics]]
| |
It depends on the quality of the Wordpress theme but even if it's not a professional one you will be able to average 50-60$ EACH link. Thus, it is important to keep pace with this highly advanced age and have a regular interaction with your audience to keep a strong hold in the business market. This is a service where people write articles using a specific keyword you have given them. s and intelligently including a substantial amount of key words in the title tags, image links, etc. This particular wordpress plugin is essential for not only having the capability where you improve your position, but to enhance your organic searches for your website.
Generally, for my private income-making market websites, I will thoroughly research and discover the leading 10 most worthwhile niches to venture into. If you are a positive thinker businessman then today you have to put your business online. Some plugins ask users to match pictures or add numbers, and although effective, they appear unprofessional and unnecessary. Being able to help with your customers can make a change in how a great deal work, repeat online business, and referrals you'll be given. As soon as you start developing your Word - Press MLM website you'll see how straightforward and simple it is to create an online presence for you and the products and services you offer.
Photography is an entire activity in itself, and a thorough discovery of it is beyond the opportunity of this content. But if you are not willing to choose cost to the detriment of quality, originality and higher returns, then go for a self-hosted wordpress blog and increase the presence of your business in this new digital age. Those who cannot conceive with donor eggs due to some problems can also opt for surrogacy option using the services of surrogate mother. Enough automated blog posts plus a system keeps you and your clients happy. There are plenty of tables that are attached to this particular database.
Whether your Word - Press themes is premium or not, but nowadays every theme is designed with widget-ready. High Quality Services: These companies help you in creating high quality Word - Press websites. However, you may not be able to find a theme that is in sync with your business. Fast Content Update - It's easy to edit or add posts with free Wordpress websites. Fortunately, Word - Press Customization Service is available these days, right from custom theme design, to plugin customization and modifying your website, you can take any bespoke service for your Word - Press development project.
You will know which of your Word - Press blog posts are attracting more unique visitors which in turn will help you develop better products and services for your customers. Should you have virtually any queries concerning exactly where along with how to work with wordpress backup, you'll be able to contact us in our website. It can run as plugin and you can still get to that whole database just in circumstance your webhost does not have a c - Panel area. It can be concluded that white label SEO comprise of a third party who resells a contract involving IT expert or consultant, SEO professional and end user. Word - Press is the most popular personal publishing platform which was launched in 2003. However, if you're just starting out your blog site or business site, you can still search for an ideal theme for it without breaking your bank account.