|
|
| Line 1: |
Line 1: |
| A '''topological game''' is an infinite [[positional game]] of [[perfect information]] played between two players on a [[topological space]]. Players choose objects with topological properties such as points, open sets, closed sets and open coverings. Time is generally discrete, but the plays may have transfinite lengths, and extensions to continuum time have been put forth. The conditions for a player to win can involve notions like [[topological closure]] and [[wikt:convergence|convergence]].
| | Bonus: WP Twin and WP Twin Auto Backup: (link to ) While not a theme, I think this software is essential if you are maintaining your Wordpress blog or regularly create new blog sites. It is used by around 25% of all new websites, and there are more than 27 thousand plugins currently available. This is a service where people write articles using a specific keyword you have given them. If you're using Wordpress and want to make your blog a "dofollow" blog, meaning that links from your blog pass on the benefits of Google pagerank, you can install one of the many dofollow plugins available. provided by Word - Press Automatic Upgrade, so whenever you need to update the new version does not, it automatically creates no webmaster. <br><br>Always remember that an effective linkwheel strategy strives to answer all the demands of popular search engines while reacting to the latest marketing number trends. 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. t need to use the back button or the URL to get to your home page. Akismet is really a sophisticated junk e-mail blocker and it's also very useful thinking about I recieve many junk e-mail comments day-to-day across my various web-sites. <br><br>But before choosing any one of these, let's compare between the two. s cutthroat competition prevailing in the online space won. all the necessary planning and steps of conversion is carried out in this phase, such as splitting, slicing, CSS code, adding images, header footer etc. Every single Theme might be unique, providing several alternatives for webpage owners to reap the benefits of in an effort to instantaneously adjust their web page appear. Converting HTML to Word - Press theme for your website can allow you to enjoy the varied Word - Press features that aid in consistent growth your online business. <br><br>The primary differences are in the plugins that I install, as all sites don't need all the normal plugins. Cameras with a pentaprism (as in comparison to pentamirror) ensure that little mild is lost before it strikes your eye, however these often increase the cost of the digital camera considerably. One of the great features of Wordpress is its ability to integrate SEO into your site. It supports backup scheduling and allows you to either download the backup file or email it to you. The Pakistani culture is in demand of a main surgical treatment. <br><br>If you loved this information and you would such as to obtain more info concerning [http://www.mediastudenten.nl/link/458 wordpress dropbox backup] kindly see our own web-page. Instead, you can easily just include it with our bodies integration field in e - Panel. When you sign up with Wordpress, you gain access to several different templates and plug-in that allow you to customize your blog so that it fits in with your business website design seamlessly. You can select color of your choice, graphics of your favorite, skins, photos, pages, etc. Word - Press is an open source content management system which is easy to use and offers many user friendly features. Article Source: Hostgator discount coupons for your Wordpress site here. |
| | |
| It turns out that some fundamental topological constructions have a natural counterpart in topological games; examples of these are the [[Baire property]], [[Baire space]]s, completeness and convergence properties, separation properties, covering and base properties, continuous images, Suslin sets, and singular spaces. At the same time, some topological properties that arise naturally in topological games can be generalized beyond a game-theoretic context: by virtue of this duality, topological games have been widely used to describe new properties of topological spaces, and to put known properties under a different light. | |
| | |
| The term ''topological game'' was first introduced by Berge,<ref>
| |
| C. Berge, Topological games with perfect information. Contributions to the theory of games, vol. 3, 165-178. Annals of Mathematics Studies, no. 39. Princeton University Press, Princeton, N. J., 1957.</ref><ref>C. Berge, Théorie des jeux à n personnes, Mém. des Sc. Mat., Gauthier-Villars, Paris 1957.</ref><ref>A. R. Pears, On topological games, Proc. Cambridge Philos. Soc. 61 (1965), 165-171.</ref>
| |
| who defined the basic ideas and formalism in analogy with topological groups. A different meaning for ''topological game'', the concept of “topological properties defined by games”, was introduced in the paper of Rastislav Telgársky,<ref>
| |
| R. Telgársky, On topological properties defined by games, Topics in Topology (Proc. Colloq. Keszthely 1972), Colloq. Math. Soc. János Bolyai, Vol. 8, North-Holland, Amsterdam 1974, 617-624.</ref>
| |
| and later "spaces defined by topological games";<ref>
| |
| R. Telgársky, Spaces defined by topological games, Fund. Math. 88 (1975), 193-223.</ref>
| |
| this approach is based on analogies with matrix games, [[differential game]]s and statistical games, and defines and studies topological games within topology. After more than 35 years, the term “topological game” became widespread, and appeared in several hundreds of publications. The survey paper of Telgársky<ref name=Telgarsky-1987>
| |
| R. Telgársky, Topological Games: On the 50th Anniversary of the Banach-Mazur Game, Rocky Mountain J. Math. 17 (1987), 227-276. [http://www.telgarsky.com/1987-RMJM-Telgarsky-Topological-Games.pdf] (3.2MB PDF)</ref>
| |
| emphasizes the origin of topological games from the [[Banach-Mazur game]].
| |
| | |
| There are two other meanings of topological games, but these are used less frequently.
| |
| * The term ''topological game'' introduced by Leon Petrosjan<ref>L. A. Petrosjan, Topological games and their applications to pursuit problems. I. SIAM J. Control 10 (1972), 194-202.</ref> in the study of antagonistic [[pursuit-evasion]] games. The trajectories in these topological games are continuous in time.
| |
| * The games of Nash (the [[Hex game]]s), the Milnor games (Y games), the Shapley games (projective plane games), and Gale's games ([[Bridg-It]] games) were called ''topological games'' by David Gale in his invited address [1979/80]. The number of moves in these games is always finite. The discovery or rediscovery of these topological games goes back to years 1948-49.
| |
| | |
| == Definitions and notation ==
| |
| | |
| Many frameworks can be defined for infinite positional games of perfect information. Here we use the following.
| |
| | |
| * An infinite positional game between two players <math>P_1</math> and <math>P_2</math> is defined as a pair <math>G(X,\Phi)</math> where <math>X</math> is a topological space with cardinality <math>|X|</math> and <math>\Phi: X \mapsto \mathcal{P}(X)</math> is an upper (and/or lower) semicontinuous multivalued map assigning to each position <math>x \in X</math> a set <math>\Phi(x) \in \mathcal{P} = \{Y \; | \; Y \subset X\}</math> of legal positions having the [[Vietoris topology]]. We assume that <math>P_1</math> makes the first move, and we say that <math>x</math> is a ''terminal position'' if <math>\Phi(x) = \emptyset</math>.
| |
| | |
| * We set <math>[X]^{\kappa} = \{Y \subset X \; | \; |Y|=\kappa\}</math>, <math>[X]^{<\kappa} = \{Y \subset X \; | \; |Y|<\kappa\}</math>, and <math>[X]^{>\kappa} = \{Y \subset X \; | \; |Y|>\kappa\}</math>, where <math>\kappa</math> is a cardinal number. Furthermore, we denote with <math>\bar E</math> the closure of a subset <math>E</math> of a topological space <math>X</math>, and we use <math>\mathcal{F}(X)</math> to denote the collection of all closed subsets of <math>X</math>.
| |
| | |
| * A ''play'' of the game is a sequence of type <math>\omega</math>, where <math>\omega = \{0, 1, 2, \cdots\}</math>. In many analyses the following quantities are useful: <math>2^{\omega} = \{0,1\} \times \{0,1\} \times \cdots </math> (homeomorphic to the Cantor Discontinuum), and <math>\omega^{\omega} = \omega \times \omega \times \cdots</math> (homeomorphic to the set of irrational numbers). The ''result of a play'' is either a win or a loss for each player.
| |
| | |
| * A ''strategy'' for player <math>P_i</math> is a function defined over every legal finite sequence of moves of player <math>P_{-i}</math>. We denote with <math>P_i \uparrow G</math> the fact that player <math>P_i</math> has a winning strategy for <math>G</math>, and we say that <math>G</math> is ''determined'' if either <math>P_1 \uparrow G</math> or <math>P_2 \uparrow G</math>.
| |
| | |
| * Two games <math>G_1</math> and <math>G_2</math> are said to be ''equivalent'' if <math>(P_1 \uparrow G_1 \Leftrightarrow P_1 \uparrow G_2) \land (P_2 \uparrow G_1 \Leftrightarrow P_2 \uparrow G_2)</math>.
| |
| | |
| * A strategy for <math>P_i</math> is ''stationary'' if it depends only on the last move of <math>P_{-i}</math>; a strategy is ''Markov'' if it depends both on the last move of <math>P_{-i}</math> ''and'' on the ordinal number of the move.
| |
| | |
| * Many analyses focus on the set of real numbers, and denote with <math>R</math> the real line, and with <math>J</math> the closed unit interval.
| |
| | |
| == The Sierpiński game ==
| |
| | |
| An illuminating example of the connections between game-theoretic notions and topological properties is the ''Sierpiński game''. Let <math>\mathfrak{E}</math> be a family of subsets of a space <math>Y</math> such that the following properties hold.
| |
| | |
| * <math>(E \in \mathfrak{E}) \land (E \subset E' \subset Y) \Rightarrow (E' \in \mathfrak{E})</math>;
| |
| | |
| * <math>(\cup_{n<\omega}E_n \in \mathfrak{E}) \Rightarrow (\exists \; m < \omega \; | \; E_m \in \mathfrak{E})</math>.
| |
| | |
| Furthermore, let's associate with each decreasing sequence <math>(A_n \; | \; n<\omega)</math> of subsets of <math>Y</math>, a family <math>H(A_n)</math> of subsets of <math>Y</math> such that:
| |
| | |
| * <math>(A \in H(A_n)) \land (A \subset A' \subset Y) \Rightarrow (A' \in H(A_n))</math>;
| |
| | |
| * <math>(B_0, B_1, \cdots \in H(A_n)) \Rightarrow (\cap_{n<\omega}B_n \in H(A_n))</math>.
| |
| | |
| Now, given a subset <math>X</math> of <math>Y</math>, consider the following game <math>S(X, Y, \mathfrak{E}, H)</math>: each player chooses alternatively elements <math>E_0, E_1, \cdots \in \mathfrak{E}</math>, enforcing that <math>X \supset E_0 \supset E_1 \supset \cdots</math>. Player <math>P_2</math> wins when <math>X \in H(E_n \; | \; n<\omega)</math>. If <math>P_2 \uparrow S(X, Y, \mathfrak{E}, H)</math>, then <math>X</math> is called a ''smooth set''.
| |
| | |
| The ''Sierpiński game'' <math>S(X,Y)</math> is a particular instance of this setup, in which <math>Y</math> is Euclidean, <math>\mathfrak{E}=[X]^{>\omega}</math>, and <math>H(A_n) = \{A \subset X \; | \; A \supset (\cap_{n<\omega} \bar E_n)\}</math>. It turns out that this game has interesting correlations with many topological concepts.
| |
| | |
| * If <math>P_1 \uparrow S(X,J)</math>, then <math>J \setminus X</math> contains a copy of the Cantor Discontinuum; if <math>P_2 \uparrow S(X,J)</math>, then <math>X</math> contains a copy of the Cantor Discontinuum.
| |
| | |
| * If <math>X</math> is ''analytic'' in <math>J</math>, then <math>P_2 \uparrow S(X,J)</math>; the converse has not been proven yet.
| |
| | |
| * If <math>J \setminus X</math> contains an analytic set that is not Borel-separated from <math>X</math>, then <math>P_1 \uparrow S(X,J)</math>. This implies that, if <math>X</math> is a coanalytic non-Borel subset of <math>J</math>, then <math>P_1 \uparrow S(X,J)</math>.
| |
| | |
| * The family <math>\{X \subset J \; | \; P_2 \uparrow S(X,J)\}</math> is closed under the Suslin operation.
| |
| | |
| == Other topological games ==
| |
| | |
| Some other notable topological games are:
| |
| | |
| * the [[Banach-Mazur game]] — the first infinite positional game of perfect information to have been studied;
| |
| * the [[Stanislaw Ulam|Ulam]] game — a modification of the Banach-Mazur game;
| |
| * the Banach game — played on a subset of the real line;
| |
| * the [[Gustave Choquet|Choquet]] game — related to siftable spaces;
| |
| * the point-open game — in which <math>P_1</math> chooses points and <math>P_2</math> chooses open neighborhoods of them.
| |
| | |
| Many more games have been introduced over the years, to study, among others: the [[Kuratowski]] coreduction principle; separation and reduction properties of sets in close projective classes; [[Luzin]] sieves; invariant descriptive set theory; Suslin sets; the [[closed graph theorem]]; webbed spaces; MP-spaces; the [[axiom of choice]]; recursive functions. Topological games have also been related to ideas in mathematical logic, model theory, infinitely-long formulas, infinite strings of alternating quantifiers, [[ultrafilter]]s, [[partially ordered sets]], and the coloring number of infinite graphs.
| |
| | |
| For a longer list and a more detailed account see the 1987 survey paper of Telgársky.<ref name=Telgarsky-1987/>
| |
| | |
| == References ==
| |
| | |
| {{reflist}}
| |
| | |
| [[Category:Topological games]]
| |
| [[Category:General topology]]
| |
Bonus: WP Twin and WP Twin Auto Backup: (link to ) While not a theme, I think this software is essential if you are maintaining your Wordpress blog or regularly create new blog sites. It is used by around 25% of all new websites, and there are more than 27 thousand plugins currently available. This is a service where people write articles using a specific keyword you have given them. If you're using Wordpress and want to make your blog a "dofollow" blog, meaning that links from your blog pass on the benefits of Google pagerank, you can install one of the many dofollow plugins available. provided by Word - Press Automatic Upgrade, so whenever you need to update the new version does not, it automatically creates no webmaster.
Always remember that an effective linkwheel strategy strives to answer all the demands of popular search engines while reacting to the latest marketing number trends. 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. t need to use the back button or the URL to get to your home page. Akismet is really a sophisticated junk e-mail blocker and it's also very useful thinking about I recieve many junk e-mail comments day-to-day across my various web-sites.
But before choosing any one of these, let's compare between the two. s cutthroat competition prevailing in the online space won. all the necessary planning and steps of conversion is carried out in this phase, such as splitting, slicing, CSS code, adding images, header footer etc. Every single Theme might be unique, providing several alternatives for webpage owners to reap the benefits of in an effort to instantaneously adjust their web page appear. Converting HTML to Word - Press theme for your website can allow you to enjoy the varied Word - Press features that aid in consistent growth your online business.
The primary differences are in the plugins that I install, as all sites don't need all the normal plugins. Cameras with a pentaprism (as in comparison to pentamirror) ensure that little mild is lost before it strikes your eye, however these often increase the cost of the digital camera considerably. One of the great features of Wordpress is its ability to integrate SEO into your site. It supports backup scheduling and allows you to either download the backup file or email it to you. The Pakistani culture is in demand of a main surgical treatment.
If you loved this information and you would such as to obtain more info concerning wordpress dropbox backup kindly see our own web-page. Instead, you can easily just include it with our bodies integration field in e - Panel. When you sign up with Wordpress, you gain access to several different templates and plug-in that allow you to customize your blog so that it fits in with your business website design seamlessly. You can select color of your choice, graphics of your favorite, skins, photos, pages, etc. Word - Press is an open source content management system which is easy to use and offers many user friendly features. Article Source: Hostgator discount coupons for your Wordpress site here.