12

Let $A$ be a sequence of letters $\langle a,b,c,d,e,f \rangle$. I want to create two subsequences, one with the values with odd index and other with the values with even index: $A_\mathrm{odd} = \langle a,c,e \rangle$ and $A_\mathrm{even} = \langle b,d,f \rangle$.

My question is: is there any usual symbol that could substitute the words "odd" and "even" in the name of the subsequence?

Thanks!

Przemysław Scherwentke
  • 13,668
  • 5
  • 35
  • 56

7 Answers7

22

"odd" and "even" are fine. Maybe in roman not italic, though: $$ A_{\rm{odd}} \ne A_{\rm{even}} $$ since the first subscript is not a product $odd$ of three factors.

GEdgar
  • 111,679
13

The best I can come up with is $A_{2k+1}$ and $A_{2k}$.

mvw
  • 34,562
  • 1
    What's $k$? I don't see any $k$ in the specification of the problem. – David Richerby Nov 25 '14 at 23:23
  • 2
    ${n=2k+1,|, k \in \mathbb{N}}$ are the odd natural numbers (including $0$). So $2k+1$ is a sloppy version of indicating the property odd number. Used in $A_n$ vs $A_{2k+1}$. – mvw Nov 25 '14 at 23:48
  • 1
    But if you write $A_{2k+1}$, the reader is going to start asking questions. "Did I miss something?" "What's $k$?" "$k$'s a natural number? An integer?" "How is $A_3$ different from $A_5$ and $A_7$?" Sure, for any natural number $k$, $2k+1$ is odd but 38471 is odd. Why not just use $A_{38471}$? – David Richerby Nov 26 '14 at 00:26
  • 1
    Along that line of thought I would prefer $A_{13579}$ as symbolic substitution. :-) – mvw Nov 26 '14 at 09:29
  • @DavidRicherby A variation is $A_{2\mathbb{Z}-1}$ and $A_{2\mathbb{Z}}$. – Jeppe Stig Nielsen Nov 26 '14 at 12:11
  • @JeppeStigNielsen - Given that $\mathbb Z$ is a set of numbers, you couldn't really scalar multiply it. The notation breaks some standards. – Alec Nov 26 '14 at 12:30
  • @Aleksander: That notation is fine (it's often used in algebra: $\mathbb{Z} / 2\mathbb{Z}$), it's the '+1' that bothers me more. – Jaxan Nov 26 '14 at 13:28
  • If I were to use a technical notation like this, I would denote it like: $(A_{2k+1})k = (A{2k})_k$. But personally, I like GEdgars answer better. – Jaxan Nov 26 '14 at 13:30
9

How about $A_\mathcal O$ and $A_\mathcal E$?

To produce these: A_\mathcal O and A_\mathcal E

Théophile
  • 24,627
  • 1
    @Jean-ClaudeArbaut It's not unheard of, though. Some excerpts from other papers: "Let ${\mathcal O}$ denote the family of all odd cycles ..."; "The Odd Distance Graph, denoted ${\mathcal O}$, ..."; "We let ${\mathcal O}$ denote partitions into odd parts ..."; etc. – Théophile Nov 25 '14 at 16:21
  • 2
    I wasn't aware of these, thank you, and +1 then – Jean-Claude Arbaut Nov 25 '14 at 16:36
5

To say that $x$ is even is to say that $x\equiv 0 \bmod 2$ and to say that it is odd is to say that $x\equiv 1 \bmod 2$. So you could use $A_0$ and $A_1$.

But, to be honest, I prefer $A_{\mathrm{e}}$ and $A_{\mathrm{o}}$, since they're as easy to remember as $A_{\mathrm{even}}$ and $A_{\mathrm{odd}}$ but more concise.

user26486
  • 11,331
  • I like $A_0$ and $A_1$. Its nice. – goblin GONE Nov 25 '14 at 20:54
  • 3
    @goblin But $A_0$ could easily be construed as meaning "the $0$th element of $A$"—especially because $A$ is a sequence, not a set. – wchargin Nov 26 '14 at 03:45
  • @WChargin, true. So maybe $A_e$ and $A_o$ are better. – goblin GONE Nov 26 '14 at 04:19
  • @WChargin I agree that that's a potential problem. I think it would be OK if the sequence has been defined as $A = \langle a_1, \dots, a_k\rangle$ rather than $\langle A_1, \dots, A_k\rangle$ but if the sequence begins at $a_0$, the reader might wonder if $A_0$ and $A_1$ are typos for $a_0$ and $a_1$. (And I think I didn't notice the problem while I was writing the answer because the sequence in the question is defined as $\langle a,b,c,d,e,f\rangle$.) – David Richerby Nov 26 '14 at 10:20
3

I'm missing here this option:

$A_{2|}$ for even sequence, and $A_{2 \nmid}$ for odd.
As $2|a$ states that $a$ is divisible by 2, thus even. While $2\nmid a$ states that $a$ is not, thus odd.

Velda
  • 131
1

I realise this is an old question, but I had the same question and found there was one good option missing from this list of answers so I thought I'd add it in case it could help anyone else that stumbled on this thread.

By convention, the symbols $\mathbb{Z}$ or $\mathbf{Z}$ are used to denote the set of all integers, and the symbols $\mathbb{N}$ or $\mathbf{N}$ are used to denote the set of all natural numbers (non-negative integers). It is therefore intuitive that something like $2\mathbb{Z}$ would mean all even numbers (the set of all integers multiplied by 2 becomes the set of all even numbers), and $2\mathbb{Z}+1$ would likewise mean the set of all odd numbers. If you didn't need negative numbers, then you could instead write $2\mathbb{N}$ and $2\mathbb{N}+1$, respectively.

In the context of your problem it would make sense to use this terminology to denote your sequences as either $A_{2\mathbb{Z}}$ and $A_{2\mathbb{Z}+1}$, or $A_{2\mathbb{N}}$ and $A_{2\mathbb{N}+1}$. Since your sequences consist of letters of the alphabet, then negative numbers don't make a lot of sense, so I would lean more towards using $A_{2\mathbb{N}}$ and $A_{2\mathbb{N}+1}$ as synonymous for $A_\mathrm{even}$ and $A_\mathrm{odd}$, respectively.

Source

Ulysses
  • 133
  • 6
0

We could write even number symbol as it’s abbreviation, that is e-n. Similarly for odd number, we could write o-n.