2
$\begingroup$

A point. There is an infinite number of lines intersecting it, but this is less than the number of possible lines. How do we represent this in mathematical notation?

  • 1
    Define $\mathcal{S}_n=\lbrace p|\hbox{ } p\textrm{ is a line in }\mathbb{R}^n\rbrace$ and for $x\in\mathbb{R}^n$, $n\geq2$ define $\mathcal{S}_n^x=\lbrace p|\hbox{ } p\textrm{ is a line in }\mathbb{R}^n\textrm{ passing through }x\rbrace$. Then $\mathcal{S}_n^x$ is a proper subset of $\mathcal{S}_n$, in symbols: $\mathcal{S}_n^x\subset\mathcal{S}_n$ or $\mathcal{S}_n^x\subsetneq\mathcal{S}_n$ (to avoid confusing it with not-necessarily-proper inclusion). Is this what you want to express?2012-01-31

2 Answers 2

4

These are the two meanings I find to this:

  1. The set of lines passing through $x$ is a proper subset of the set of lines, similar to how the integers are a subset of the rationals: $$\{L\mid L\text{ is a line passing through } x\}\subsetneq\{L\mid L\text{ is a line}\}$$

  2. The cardinality of the set of lines passing through $x$ is less than the cardinality of the set of lines, similar to how the cardinality of the reals is greater than the cardinality of the integers: $$|\{L\mid L\text{ is a line passing through } x\}|<|\{L\mid L\text{ is a line}\}|$$ In some places it is customary to use $\#\mathrm{A}$ or $\mathrm{card}(A)$ to denote the cardinality of the set $A$, in other places it is customary to write, as I did, $|A|$.

Of course you can give names to these sets, and then it can look better. Note that if you talk about lines in $\mathbb R^n$ then the cardinality of the two sets is the same, so the second statement about cardinality is false.

  • 2
    There's a third meaning, which is is that there is a non-trivial measure defined on the set of all lines, and the measure of the set of lines through a single point is zero. In this sense, the set of all lines through a particular point is "insignificant" relative to all lines.2012-01-31
  • 0
    @Thomas: There is a fourth meaning of being a first category set as well; there are many different notions for size. These are the two which I thought are relevant.2012-01-31
  • 0
    you could also define a topology on the set of all lines, and then notice that the lines through a particular point are a "nowhere dense set" in the parent set. Or you could define a manifold structure on the set of all lines, and then notice that the set of lines through a point is a manifold of lower dimension.2012-01-31
  • 2
    Additionally, you could define a manifold structure on the set of all lines, and note that the set of lines through a particular point is a sub-manifold of smaller dimension.2012-01-31
  • 1
    @Thomas: I *really* don't want to confuse someone that might not know much about mathematics with topology and measure.2012-01-31
  • 0
    I was adding these because you wrote, "There are two..." Which gives the impression that these are the only two. Essentially, I just wanted to make clear that the two you gave are just the beginning of ways to discuss relative sizes of sets.2012-01-31
  • 0
    @Andrew: If you would read the post to its end, instead of commenting on the first line you'll see that I'd done that.2012-01-31
  • 0
    I've never found that giving an inaccurate impression to someone is the right approach. You can start by saying, "The two most elementary meanings would be..." And then either give him a taste of the more advanced answers, or by just suggesting that there are other meanings that are more nuanced.2012-01-31
  • 0
    Asaf, whoops, sorry, I missed the last sentence. I still think you should make that disclaimer at the time of the sentence, and not buried at the end of a later paragraph.2012-01-31
  • 0
    @Thomas: There's a box slightly below this one says "Your Answer" on the top. I accepted your overly long and somewhat insulting way of saying "There are two ways..." is wrong (yes, it "only" took me *four* comments to realize this before you posted that yourself). You can talk all you want about whatever it is that you would like to write in your answer.2012-01-31
  • 0
    Sorry, I was trying to be helpful to you, not trying to be mean. Apologies if that is the way it came across.2012-01-31
  • 0
    @Thomas: Perhaps you should have made that disclaimer in the first comment and not bury it in your last.2012-01-31
0

Infinite cardinal numbers can be tricky. For example, you may say that the set of positive integer has more elements than the set of positive even integers, but the cardinal of $\Bbb{N}$ is the same as the cardinal of $2\Bbb{N}$. Two sets have the same cardinal if there is a bijection between them.

For the sake of simplicity, suppose we are in $\Bbb{R}^2$. In your case, the lines passing through a point can be put in bijection with the angle such line has with respect to $Ox$, for example, and that set is $[0,\pi)$ and its cardinal equals $\aleph=\mathrm{card} \Bbb{R}$.

The set of lines $L$ satisfies $\aleph\leq \mathrm{card} L \leq \mathrm{card}\{(x,y),(z,t) : x,y,z,t \in \Bbb{R}\}=(\mathrm{card} \Bbb{R})^4=\aleph^4=\aleph$. So the set of lines passing through a point, and the set of all lines have the same cardinality.