After learning about the fundamental group, and proving that $\mathbb{R}^n$ minus any countable set is path-connected, I started wondering if the fundamental group of $\mathbb{R}^2-\mathbb{Q}^2$ is known. Does anyone know whether or not it is? Or how one might go about determining it?



Fundamental group of R^2-Q^2
The space $X = \mathbb{R}^2 - \mathbb{Q}^2$ is not [semilocally simply connected](http://en.wikipedia.org/wiki/Semi-locally_simply_connected), and so in a sense the fundamental group is a poor measure of the homotopy 1-type of $X$. It is an exercise in Hatcher's book Algebraic Topology that this group is uncountable.


Here is an attempt to motivate a different view of the fundamental group: Consider the space $X\_{n,m}$ which is the complement in $\mathbb{R}^2$ of all points with coordinates $(p/n,q/m)$ where $n,m$ are positive integers and $q,p$ are integers. This forms a cofiltered diagram $\mathbb{N}^2 \to Top$ whose limit is $X$, and where each space in the diagram *is* semilocally simply-connected. There is a map $X\_{n,m} \to X\_{n',m'}$ when $n'|n$ and $m'|m$. The fundamental group of $X\_{n,m}$ is free on a countable number of generators (a generator is given by a small circle around each deleted point, and connect this circle to the basepoint, $(\pi,\pi)$, say, by a path), and the maps between them kill off certain generators. Already, you can see how complicated $\pi\_1(X)$ is going to be, since it has a countable number of quotients, each of which is free on a countable number of generators (actually, each of them is isomorphic to the free group on generators $\mathbb{Z}\times\mathbb{Z}$).


This system of groups is known as a [(strict) progroup](http://ncatlab.org/nlab/show/progroup), and can be thought of as a formal limit This is usually the 'right' algebraic object to consider when one has a badly behaved space such as this one. It is this object which 'controls' what the covering spaces of $X$ look like, as $X$ doesn't have a universal covering space (which if it did exist, would have fibre $\pi\_1(X)$, and other connected covering spaces would be quotients of this one). This gets into the realm of *shape theory* ([wikipedia](http://en.wikipedia.org/wiki/Shape_theory_%28mathematics%29), [nLab](http://ncatlab.org/nlab/show/shape%20theory)), developed to consider spaces with bad local homotopy properties.


