A Path through the Lattice Points in a Quadrant

Let be the set of positive integers. The set of lattice points in the first quadrant is the set , where both coordinates are positive integers. Even though is two-dimensional, it is possible to set up a one-to-one correspondence between and +, as shown in the picture.
By associating with the lattice point , the path through the lattice points gives an enumeration of the positive unreduced rational numbers. Skipping past the fractions that have a common factor gives a listing of the positive rational numbers. The matching shows that there are as many positive fractions as positive integers.
In spite of that, there are differences between the integers and the rationals; for example, between any two rationals there is another rational.


  • [Snapshot]
  • [Snapshot]
  • [Snapshot]


A set is enumerable (or denumerable or countable or listable) if it can be written as . In other words, there is a one-to-one correspondence between the set and the positive integers.
When there is a one-to-one correspondence between two sets and , the sets are said to be equipotent (or equinumerous or equipollent or of the same cardinality), which is denoted by . The Demonstration shows that .
Let be the set of integers. The mapping that matches with the term of the sequence is a one-to-one correspondence, so .
Use square paper to draw pictures showing that and . In other words, for draw a path that passes through each lattice point above the axis exactly once. The path does not have to be connected. Similarly, for , find a path that passes through every lattice point in the plane exactly once.
It is not true that every infinite set is countable. For example, neither the real numbers nor the complex numbers are countable (but ).
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.

Mathematica »
The #1 tool for creating Demonstrations
and anything technical.
Wolfram|Alpha »
Explore anything with the first
computational knowledge engine.
MathWorld »
The web's most extensive
mathematics resource.
Course Assistant Apps »
An app for every course—
right in the palm of your hand.
Wolfram Blog »
Read our views on math,
science, and technology.
Computable Document Format »
The format that makes Demonstrations
(and any information) easy to share and
interact with.
STEM Initiative »
Programs & resources for
educators, schools & students.
Computerbasedmath.org »
Join the initiative for modernizing
math education.
Step-by-Step Solutions »
Walk through homework problems one step at a time, with hints to help along the way.
Wolfram Problem Generator »
Unlimited random practice problems and answers with built-in step-by-step solutions. Practice online or make a printable study sheet.
Wolfram Language »
Knowledge-based programming for everyone.
Powered by Wolfram Mathematica © 2018 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSS Give us your feedback
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to Mathematica Player 7EX
I already have Mathematica Player or Mathematica 7+