Niemytzki Plane

In the mathematical field of topology, a central goal is to understand and classify the vast universe of possible "spaces." Often, our intuition, shaped by familiar Euclidean geometry, can be misleading. To sharpen our understanding and test the limits of theorems, mathematicians construct special spaces known as counterexamples. The Niemytzki plane stands as one of the most elegant and instructive of these constructions, a world specifically designed to challenge our assumptions about concepts like closeness, separation, and dimension. This article addresses the subtle but critical gaps between related topological properties, using the Niemytzki plane as a master teacher.

By exploring this fascinating space, you will gain a deeper appreciation for the axiomatic structure of topology. The journey begins in the first section, "Principles and Mechanisms," where we construct the Niemytzki plane from the ground up and rigorously establish its fundamental properties. Following this, the section "Applications and Interdisciplinary Connections" will reveal how this seemingly abstract object serves as an indispensable tool for clarifying the relationships between regularity, normality, metrizability, and other core ideas in mathematics.

To truly understand the Niemytzki plane, we must build it from the ground up. Imagine you are a geometer given a simple piece of paper: the upper half of the Cartesian plane, including the horizontal axis. This set is $L = \{(x, y) \in \mathbb{R}^2 \mid y \ge 0\}$. Our task is to define what "nearness" means for every point in this world. This set of rules is what mathematicians call a ​​topology​​.

For most of our world, we'll keep the familiar rules. For any point $p=(x,y)$ floating in the open upper half-plane (where $y > 0$), we'll say a "neighborhood" is just the standard open disk you know from Euclidean geometry, as long as it's small enough to stay in the upper half-plane. Life here is predictable; it's the same as ordinary two-dimensional space.

The real magic—and all the trouble—begins when we approach the boundary, the x-axis, which we'll call the line $X$. For a point $p=(x,0)$ on this line, we invent a new kind of neighborhood. Imagine an open disk of space floating in the upper plane, which swoops down to just "kiss" the boundary line at our single point $p$. Mathematically, this neighborhood is the point $p$ itself, plus an open disk tangent to the axis at $p$. Think of it as a bubble of open space tethered to a single point on the boundary.

What is the immediate, startling consequence of this rule? Let's consider the perspective of an inhabitant living only on the line $X$. If you take one of these special neighborhoods defined at a point $p$ on $X$ and ask what part of it lies on the line $X$, the answer is just the point $p$ itself! The bubble of open space is entirely in the $y>0$ region. This means that for any point on the boundary line, we can find an "open set" in the larger plane that contains it, but no other points from the boundary line. In the subspace topology of the line $X$, this means every single point is its own open set. This is the most scattered, separated topology imaginable: the ​​discrete topology​​. The uncountable infinity of points on the x-axis are like a string of isolated islands, each unaware of its neighbors. This single, crucial feature is the source of all the Niemytzki plane's fame and notoriety.

In topology, we often use different flavors of "countability" to measure the "size" or "simplicity" of a space. Two of the most important are separability and second-countability.

A space is ​​separable​​ if it contains a countable, dense subset—think of a countable sprinkle of "dust" that gets arbitrarily close to every point in the space. Is the Niemytzki plane separable? Surprisingly, yes! Consider the set $D$ of all points $(x,y)$ in the open upper half-plane where both $x$ and $y$ are rational numbers. This set is countable. Any standard open disk in the upper plane must contain one of these points, because the rationals are dense in the real numbers. And what about our strange boundary neighborhoods? Each one consists of a boundary point plus a tangent open disk. That disk, being a standard open set in $\mathbb{R}^2$, must also contain a point from our countable set $D$. So, our countable set of rational points is indeed dense. The Niemytzki plane is separable.

Now for a stronger condition: is the space ​​second-countable​​? This asks if we can generate the entire topology from a countable "dictionary" or "basis" of open sets. Here, the answer is a firm no. The culprit is the boundary line $X$. As we saw, $X$ is an uncountable set with the discrete topology. To make each of the uncountably many points on $X$ an open set in the subspace, our "dictionary" of basis elements for the whole plane must be rich enough to isolate each of these points. This requires an uncountable number of basis elements. No countable collection will do.

This is the first great lesson of the Niemytzki plane: it cleanly separates two important ideas. It is a textbook example of a space that is ​​separable but not second-countable​​. Furthermore, since any second-countable space must also be a ​​Lindelöf space​​ (meaning every open cover has a countable subcover), the Niemytzki plane is also not Lindelöf. The uncountable collection of open sets needed to cover each point on the boundary individually cannot be reduced to a countable one.

How good is our space at separating things? This is measured by a hierarchy of "separation axioms."

Let's start with the basics. The Niemytzki plane is a ​​T1 space​​ (individual points are closed sets) and even a ​​Hausdorff (T2) space​​ (any two distinct points can be placed in disjoint open "bubbles"). This is easy to see geometrically. Two points in the upper plane can be separated by Euclidean disks. A point in the upper plane and a point on the boundary can be separated by a small disk and a small tangent bubble. Two distinct points on the boundary can be separated by two small, non-overlapping tangent bubbles.

It's even better behaved than that. It is a ​​regular (T3) space​​, which means we can separate any point from a closed set that doesn't contain it. This property can be extended to show the space is ​​completely regular​​ (or ​​Tychonoff​​), meaning that this separation can be achieved by a continuous real-valued function. Intuitively, the space is locally very "nice," and we can always find enough room to build separating open sets or functions. So, in many respects, the Niemytzki plane seems quite tame.

But now we arrive at the grand finale. The next step in the hierarchy is ​​normality (T4)​​. A space is normal if we can separate any two disjoint closed sets. This seems like a natural extension of regularity. But here, the Niemytzki plane rebels. It is famously ​​not normal​​.

To witness this failure, we need only look at the boundary line. Let $A$ be the set of points on the x-axis with rational coordinates, and let $B$ be the set of points with irrational coordinates. Since the boundary has the discrete topology, any subset of it is closed in the subspace. A little more work shows that any subset of the boundary line is also a closed set in the full Niemytzki plane. Thus, $A$ and $B$ are two disjoint, closed sets.

Can we find disjoint open sets $U$ and $V$ in the plane such that $A \subset U$ and $B \subset V$? The answer is no. Imagine trying to build the open set $U$ to cover all the rational points in $A$. For each rational point, you must include a tangent disk neighborhood. Now, imagine trying to build a separate open set $V$ to cover all the irrational points $B$. Because the rationals and irrationals are so intimately interwoven on the real line, any "forest" of tangent disks you grow to cover $A$ is fated to intersect the "forest" you grow to cover $B$. There is simply no way to keep them apart. While the full proof requires a powerful tool called the ​​Baire Category Theorem​​, the intuition is that the geometric constraints imposed by the topology make this separation impossible.

This makes the Niemytzki plane the quintessential example of a ​​regular space that is not normal​​. It shows that the ability to separate points from closed sets does not guarantee the ability to separate two closed sets from each other.

All these properties lead to a final, definitive conclusion. Is the Niemytzki plane a ​​metrizable space​​? That is, can its topology be generated by some distance function?

Metrizable spaces are the aristocrats of the topological world; they are exceptionally well-behaved. In particular, every metrizable space is normal. Since we have just proven that the Niemytzki plane is not normal, it cannot be metrizable. The case is closed.

There's another elegant argument that leads to the same conclusion. One can prove that any separable metric space cannot contain an uncountable closed discrete subspace. The Niemytzki plane is separable, yet its boundary line is an uncountable, closed, and discrete subspace. This is a fatal contradiction. The space cannot be metrizable.

The ultimate criterion for metrizability is the ​​Nagata-Smirnov Metrization Theorem​​, which states that a space is metrizable if and only if it is regular, Hausdorff, and has a $\sigma$-locally finite basis (a basis that can be built from a countable union of "locally finite" collections). Our plane is regular and Hausdorff, so its downfall must be the basis condition. And indeed, the same uncountable boundary that prevents second-countability also prevents the existence of such a well-behaved basis.

In the end, the Niemytzki plane is more than just a curiosity. It is a master teacher. By its very existence, it draws sharp, unmissable lines between fundamental concepts: separability and second-countability, regularity and normality, Tychonoff spaces and metrizable spaces. It is a beautiful, unified construction that demonstrates the richness and subtlety of the mathematical world.

We have now learned the peculiar rules of the Niemytzki plane, this strange world constructed not from wood and stone, but from pure logic. You might be tempted to ask, "What is it for? Can we build a better computer with it? Does it explain the orbit of Mercury?" The answer is a delightful "no," and this is precisely what makes it so important. Like a physicist inventing a universe with two time dimensions just to see what would happen, mathematicians build spaces like the Niemytzki plane to test the very limits of their ideas. Its applications lie not in the physical world, but in the world of thought; it is a tool for sharpening our intuition, a whetstone for the axioms of topology. It is a specimen in a grand museum of mathematical objects, one that teaches us profound lessons about the concepts of shape, closeness, and continuity.

Our journey through its applications, then, will be an exploration—a tour of what this space shows us about the landscape of mathematics itself.

At the heart of topology lies the simple, intuitive idea of "closeness." The Niemytzki plane takes this familiar notion and gives it a fascinating twist. In the open upper half-plane, things are as you'd expect; closeness is the familiar Euclidean distance. But on the boundary line, the x-axis, the rules change dramatically. A point on the boundary is considered "close" to a set of points in the upper plane only if that set can fit inside one of the special "tangent disk" neighborhoods.

Imagine you have two points on the boundary line, $P_A$ and $P_B$. You then take a simple, ordinary open disk in the upper half-plane. How can you ensure that its closure, in the sense of the Niemytzki topology, manages to "capture" both $P_A$ and $P_B$? It's not enough for the disk to just get near them in the Euclidean sense. For its closure to include these boundary points, the disk itself must satisfy a very specific geometric condition. It turns out that a center and radius for such a disk can only be found if the radius is at least half the distance between the points, $|x_A - x_B|/2$. This beautiful result provides a quantitative link between the familiar geometry of circles and the strange new definition of nearness on the boundary. It gives a tangible, measurable feel for what "closure" means in this new world.

This unique geometry also creates interesting constraints. If you try to place a neighborhood-bubble around a point on the boundary, say the origin, you'll find that its size is limited by other geometric features in the plane. For instance, the largest such bubble you can place at the origin that remains completely inside the standard Euclidean unit disk centered at $(0,1)$ has a radius of exactly 1. These are not just abstract exercises; they are how mathematicians get a "feel" for a new space, much like a sculptor learns the grain of a new type of stone.

Perhaps the most famous role of the Niemytzki plane is as a "counterexample." It demonstrates, in stunning fashion, the failure of a property called normality. In a "normal" world, any two disjoint closed sets can be separated by a buffer zone; you can always find two disjoint open sets, one containing each of the closed sets, like building a moat around two separate castles. The Euclidean plane is normal. Our intuition tells us this should always be possible.

The Niemytzki plane shatters this intuition.

Consider three points on the boundary line, say $Q_1=(0,0)$, $Q_2=(2,0)$, and $P=(\sqrt{3},0)$. Let's place neighborhood-bubbles of radius 1 around $Q_1$ and $Q_2$. Now, we ask: what is the largest possible neighborhood-bubble we can place around $P$ that doesn't touch the other two? A careful calculation shows that the two bubbles at 0 and 2 "squeeze" the space available for the bubble at $\sqrt{3}$, forcing its radius to be no larger than a rather specific number, $\frac{7-4\sqrt{3}}{4}$. There is a palpable geometric tension.

This small-scale conflict is a symptom of a catastrophic, large-scale failure. The most striking proof of the Niemytzki plane's non-normality involves taking two disjoint closed sets on the boundary line: the set of all rational points, $\mathbb{Q} \times \{0\}$, and the set of all irrational points, $(\mathbb{R}\setminus\mathbb{Q}) \times \{0\}$. One might try to put tiny open neighborhood-bubbles around every rational point. The collection of all these bubbles forms an open set containing the rationals. One can do the same for the irrationals. The astonishing result is that no matter how cleverly you choose the radii of these bubbles, the open set containing the rationals will always overlap with the open set containing the irrationals. It is impossible to build a clean moat between them.

This discovery was monumental. It proved that a space can be "Tychonoff"—a strong regularity property that guarantees plenty of continuous real-valued functions—and yet fail to be normal. The Niemytzki plane thus draws a sharp, undeniable line in the sand, separating these two fundamental topological properties and refining our classification of all possible spaces.

A new topology means a new theory of calculus. What does it mean for a function to approach a limit in the Niemytzki plane? Let's imagine a curve approaching the boundary, for example, the graph of a function like $f_a(x) = x^a \sin(1/x)$. In the familiar Euclidean world, this curve approaches the origin $(0,0)$ as $x$ goes to zero, because its height goes to zero.

In the Niemytzki plane, the criterion is much stricter. For the origin to be a limit point of the curve, the curve must eventually enter every tangent-disk neighborhood of the origin. This means the curve can't just get flat; it has to get flat fast. A detailed analysis reveals that the origin is a limit point if and only if the parameter $a$ is strictly greater than 1 but less than 2. If $a \le 1$, the amplitude of the wiggles doesn't shrink fast enough. If $a \ge 2$, the curve becomes too flat too quickly, and for a sufficiently small neighborhood radius $r$, it fails to enter the required disk. This result connects the abstract topology to deep ideas in analysis about the rate of convergence and the behavior of functions near a boundary.

Furthermore, the very shapes of the basic neighborhoods provide natural domains for integration. One can explore concepts from integral calculus by evaluating integrals over these tangent disks, linking the space's topology directly to the world of analysis and differential equations.

The ultimate "application" of the Niemytzki plane is its place in the grand library of topological spaces. It serves as a benchmark, helping us understand the relationships between various topological properties.

For instance, we know the space is separable (it has a countable dense subset, like the points with rational coordinates). In the comfortable world of metric spaces, separability implies another nice property called Lindelöf (every open cover has a countable subcover). Does this hold here? No. One can construct an open cover of the Niemytzki plane that has no countable subcover, demonstrating that it is not Lindelöf. This provides another key counterexample, showing that an implication we rely on in metric spaces fails in the broader universe of topological spaces.

The plane also teaches us that the properties of a whole are not simply the sum of the properties of its parts. If we look at the two main components of the space in isolation—the open upper half-plane $P$ and the boundary line $L$—we find that both, with their respective subspace topologies, are perfectly normal spaces. Yet, when glued together in the specific way defined by the Niemytzki topology, they create a space that is not normal. This is a profound lesson: topology is not just about the pieces, but about the connections between them.

Lest we think of the Niemytzki plane as merely a "pathological monster," our final stop reveals its connection to more well-behaved worlds. Imagine we perform a bit of topological surgery: we take the entire boundary line $L$ and collapse it, conceptually, to a single point. This operation defines a new quotient space, $Y$, and a natural map from the Niemytzki plane onto it. The astonishing result is that this new space $Y$ is completely normal!. By identifying the source of the "trouble" (the uncountable, discrete-like boundary) and collapsing it, we "heal" the space's non-normality. This demonstrates that even the strangest spaces are not isolated curiosities; they are part of a rich, interconnected web of mathematical structures, transformable one into another.

In the end, the Niemytzki plane's greatest application is this journey of discovery it affords us. It forces us to question our intuition, to refine our definitions, and to appreciate the subtle, beautiful, and often surprising structure of the mathematical universe.