# What would base $1$ be?

Base $10$ uses these digits: $\{0,1,2,3,4,5,6,7,8,9\};\;$ base $2$ uses: $\{0,1\};\;$ but what would base $1$ be?

Let's say we define Base $1$ to use: $\{0\}$. Because $10_2$ is equal to $010_2$, would all numbers be equal?

The way I have thought Base 1 might be represented is tally marks, $0_{10}$ would be represented by nothing. So, $5$ in Base 1 would be represented by $00000$? Or we could define Base 1 to use: $\{$|$\}$ and $5$ would be |||||?

-
nice question. ^^ – diff_math Apr 25 '13 at 1:51

You're exactly right that such a system would be represented by the use of arbitrary tally marks. Such a system is known as a Unary Numeral System (Wikipedia Entry):

The unary numeral system is the bijective base-1 numeral system. It is the simplest numeral system to represent natural numbers: in order to represent a number N, an arbitrarily chosen symbol representing 1 is repeated N times. This system is used in tallying. For example, using the tally mark |, the number 6 is represented as ||||||.

...

There is no explicit symbol representing zero in unary as there is in other traditional bases, so unary is a bijective numeration system with a single digit. If there were a 'zero' symbol, unary would effectively be a binary system. [boldface mine] In a true unary system there is no way to explicitly represent none of something, though simply making no marks represents it implicitly. Even in advanced tallying systems like Roman numerals, there is no zero character; instead the Latin word for "nothing," nullae, is used.

-
Is there a reason that you are editing your answer to include an out-of-context fragment of my answer? – Trevor Wilson Apr 24 '13 at 23:25
I'm paraphrasing from the Wikipedia article, and it's hardly out of context... – amWhy Apr 24 '13 at 23:26
@TrevorWilson This was an issue and has been discussed here. Sadly nothing can be done. – user17762 Apr 24 '13 at 23:27
I don't see it there. By "out of context" I meant that you wrote "... So [paraphrased text]" and it was not clear what the "so" meant. – Trevor Wilson Apr 24 '13 at 23:28
@Trevor - I've removed the paraphrased text altogether, which was a comment directed to the OP regarding her good choice to edit the question to add an option of |||'s. No biggy. I also upvoted your post; this is not a competition. – amWhy Apr 24 '13 at 23:32

I would like to expand on Trevor Wilson's answer. Base-$b$ representation of integers is rooted in the fact that, for any non-negative integer $n$, there is a unique representation of $n$ in the form $$n = \sum_{i=0}^\infty a_ib^i$$ where $0 \le a_i < b$. For example, when $b$ is 3, and $n$ is 47, the unique solution has $a_0 = 2, a_1 = 0, a_2 = 2, a_3 = 1,$ and $a_i = 0$ for all $i>3$. The $a_i$ are called the "base-$b$ digits of $n$"; in our example the base-3 digits of 47 are 1202. We say that the sequence of digits is a numeral, and that it represents the number $n$.

The uniqueness property means that each $n$ has exactly one base-$b$ representation. If one requires that the sequence of $a_i$ is eventually zero (that is, that $a_i = 0$ for all sufficiently large $i$) then the converse holds also: each sequence of digits corresponds to exactly one $n$. In fact there are four properties that hold:

1. Each $n$ has at least one representation
2. Each $n$ has no more than one representation
3. Each representation corresponds to at least one $n$
4. Each representation corresponds to no more than one $n$

It is quite possible to construct representations that lack some of these properties. For example, consider the base-3 representation, but drop the restriction that says that $0\le a_i < 3$. Then property 2 fails: The number 47 has many base-3 representations: 502, for example, or 362, or 1 12 2 (here $a_1 = 12$), or even one (harder to write) where $a_0 = 47$. Each sequence of digits still represents a single $n$, but a particular $n$ might have many representations as a sequence of digits. Sometimes such representations even have some use.

Some of these properties are more important than others. Property 4, for example, is crucial, because if it doesn't hold, then there is some sequence of digits that might represent two different numbers, and when you see it you don't know what number is being represented. Such a system can't really be called a system for representing numbers.

Similarly, a system which fails to have property 1 has limited usefulness. Such a system can represent some $n$, but not all.

Depending on where and how it fails, a representation might be more or less useful. Fraction notation, for example, is universally used to represent rational numbers. But it fails to have properties 2 and 3! (It fails 2 since each rational number has many representations, say as $\frac12, \frac24,$ or $\frac{120}{240}$. And it fails 3 since $\frac10$ and $\frac00$ do not represent any rational numbers.) But these failures don't prevent it from being useful as a representation of rational numbers. A more serious failure arises if you try to make fractions represent real numbers; then property 1 fails, since there is no fraction representation for the number $\pi$ or $\sqrt2$.

Now let's return to $$n = \sum_{i=0}^\infty a_ib^i.$$ I said that this representation of non-negative integers has all four properties, but I left out an important limitation: the four properties only hold for $b\ge 2$. If $b=1$, the restriction $0\le a_i<b$ degenerates to $a_i=0$, and we can no longer represent any number except 0. So only 0 has a base-1 represenation. As a numeral system, this is completely useless.

If we drop the $0\le a_i<b$ restriction, we get something that hardly resembles a system of representation at all: Each number $n$ now has many base-1 representations For example, one could write 5 as 14, or 32, or 1121.

So, although it is inconsistent, mathematicians, and especially computer scientists, adopt a different meaning for "base-$1$ representation". They abandon $\sum a_ib^i$ completely and agree to represent the number $n$ as a sequence of exactly $n$ ones. For example, $7$ is represented as 1111111. This restores properties 1–4, so it is a sensible representation.

-
Another way of looking at it is that they keep the sum definition, but replace 0 <= ai < b with 0 < ai <= b – Joe K Apr 25 '13 at 18:43
No, because then you can't represent any number: you need the sequence to be eventually zero. You can patch it up, but it's a bit more complicated than you said. – MJD Apr 30 '13 at 23:22
True. I guess that's just the way I've intuitively thought of it, but you're right, it is more complicated to actually make it work. – Joe K Apr 30 '13 at 23:59
The problem you run into is rooted in the fact that you identify symbols (digits) and their meaning (numbers). There is no real reason (as far as I can tell) for disallowing arbitrary $f(a_i)$ instead of $a_i$ in the "value sum", where $f : \Sigma \to \mathbb{N}$ maps digits to numbers -- as long as 1-4 are fulfilled, of course. – Raphael Oct 14 '13 at 23:13

Yes, the usual answer is that numbers are represented by "tally marks" in base 1. However, the numeral 0 might not be the best choice of a tally mark because if 00000 were interpreted in base 1 analogously to its interpretation in other bases, then it would be interpreted as $0 \cdot 1^5 + 0\cdot 1^4 + 0 \cdot 1^3 + 0 \cdot 1^2 + 0 \cdot 1^1$, which is 0 rather than 5.

-
So... $0=5$ you say? Great! We can all go home early! :-) – Asaf Karagila Apr 25 '13 at 16:59
The trick is not to use the 1-hour clock, but to use $\mathbb{F}_\text{un},$ whose vector spaces are any set. – Loki Clock Apr 26 '13 at 0:29
I've never been quite certain whether $\mathbb{F}_\text{un}$ is a real thing, or someone is just being $\mathbb{F}_\text{unny}$. – Trevor Wilson Apr 26 '13 at 1:20

There is no base $1$, and no unary number system. Base $b$ requires at least two symbols from $0$ to $b - 1$. Base $b$ does not use the digit $b$. For instance base $2$ does not use the digit $2$. So any system that uses the digit $1$ cannot be base $1$.

Tally marks are typographic representation of integers, but are not a "base", let alone "base 1".

The printed representation of a number in a base has a length which is proportional to the logarithm of the number. In the tally mark system, the length is proportional to the number.

Bases can represent fractions. For instance 1.11 in binary is one and three quarters. This works thanks to the negative powers to the right of the point. If we multiply one and three quarters by two, we can simply move the binary point: 11.1. By golly, this is three and a half, exactly right.

The best that the tally system can do here is to be repaired with some scheme whereby tally marks after a dot represent an enumeration of the countable set of fractions. For instance .1 could mean half, .11 means a third, .111 two thirds, and so on. But this scheme is fundamentally incompatible with what is on the left of the point. Moving the point has no intuitive meaning.

The use of at least two symbols in bases is related to the field of numbers having two elements: an additive identity (zero) and multiplicative identity (one). The naive tally mark system ignores this concept of a field with two identity elements, which is why it runs aground when it comes to representing fractions. It doesn't even represent zero, except perhaps by means of leaving an ambiguous empty space devoid of tallies to represent nothingness.

-
"The printed representation of a number in a base has a length which is proportional to the logarithm of the number. In the tally mark system, the length is proportional to the number." Exactly!, in base 1, the representation is proportional the logarithm in base $1 + \epsilon$ of the number, which is effectively linear. In this interpretation base 1 still counts as a base, although a special in that sense. – alfC Apr 25 '13 at 5:27
Your assertion that base 1 not having field identities is causing it to fail to represent fractions is wrong. It's easy to define a base 1 with two symbols, 0 and 1, in the same way other bases are defined, as an infinite string of digits with the number represented being the sum of the base raised to the power of its position multiplied by the digit. It fails to represent fractions, but that's because 1 raised to any integer power is 1, not because of a missing zero element. – Michael Shaw Apr 25 '13 at 14:12
@alfC Sure and we could argue that 1 is a prime number because it's only divisible by 1 and itself. – Kaz Apr 25 '13 at 14:40
@Kaz: We could argue exactly that. We could also argue that 2 is not a prime number because it's even and no other prime number is even. Many older definitions of prime numbers included 1. Mathematical definitions are not engraved on stone and handed to Moses by God, we make them up. We try to make them up to match reality in some way, but nothing says they can't be changed. – Michael Shaw Apr 25 '13 at 18:38
We could also argue that 3 is not a prime number, because it's divisible by 3, and no other prime number is divisible by 3, et cetera. That is just silly. The definition of a number base is not carved in stone, but there is no utility in calling something base 1 that doesn't whatsoever resemble bases 2, 3, 4, ... – Kaz Apr 25 '13 at 18:45

Though many consider a tally system to be a base 1 system, I think this confuses more than it clarifies. A tally system is not a radix system and does not represent numbers using the same mechanism. The tally system is simply a string whose length represents the number (integer) in question while a radix numeral is a shorthand for a power series.

Therefore to imply that each of these distinct systems have a comparable attribute known as their "base" is misleading. Much like claiming that a playing card deck and a computer plotter each has a comparable operation called "draw".

-

$\displaystyle \sum_{i=0}^k a_i b^i$ with $1 \le a_i \le b$ can represent any positive integer uniquely for fixed $b$ and has the tally mark interpretation when $b=1$.

This is called bijective numeration. When $b$ is ten you lose the $0$ numeral but gain a numeral for ten ($A$ say). Many decimal numbers look the same when written in bijective base-ten, such as $432$, but others do not, such as $402$ which becomes $3A2$.

-