Notation for a subsequence of a sequence

Question

If we have a sequence (an ordered list)

$$ S=(s_0,s_1,...,s_n). $$

What is the notation for expressing that $S'$ is a (ordered) subsequence of $S$?

Answer 1

Here is a handout on sequences that manages to avoid the problem by stating the definition of a subsequence and then simply stating that one is a subsequence of another each time. This, however, does not seem to be what one would like to do.

Here instead is a is another handout by Dr. Carryn Bellomo Warren at University of Nevada, Las Vegas. This uses and explains the notation that David Mitra. $$S'=(x_{n_{k}})_{n \in N} \ \ \text{for} \ n_1< n_2<n_3\cdots$$

And if you want to denote this just with the $S'$, from Structural Additive Theory, by David J. Grynkiewicz, we find the notation of defining a subsequence $S' | S$, where $S$ is a sequence. He also notes in his book that "All notation and conventions for [unordered] sequences extend naturally to ordered sequences."

Hopefully you are now convinced that this notation is relatively well used, and you should be able to find plenty more examples of this by searching online for "sequences notation". One thing to note is that oftentimes these curly brackets {} will be substituted for parentheses (), such as here, or in Mitra's comment itself.

Answer 2

Let $k: \mathbb {N} \to \mathbb {N} $ be a strictly increasing function. Let $(x_n)_n $ be a sequence. Then the sequence $(y_n)_n $ defined by $y_n := x_{k (n)} $ is called a subsequence.

So, you can always write $(x_{k (n)})_n $ for a subsequence of the given sequence $(x_n)_n $

This notation is commonly used, and is very intuitive.

Answer 3

For sets, we have $S'\subseteq S$. For ordered sets, it will be best to have $\subset$ with an arrow at the bottom end. The closest notation available to this in LaTeX is \hookrightarrow which looks like this $\hookrightarrow$. So we can denote $S'\hookrightarrow S$. But if this is not satisfying, then there are also ways to draw and implement your own symbols in LaTeX, using PSTricks, TikZ and so on. Just surf a bit on the Net about designing symbols for LaTeX.

I am adding my idea of the symbol, drawn in MS Paint. If you like it, you could figure out how to implement it in LaTeX.

Answer 4

Let me give a foundational reference in support of the notation "$|$" suggested by Isaac Browne. Since you are apparently dealing with finite sequences of elements of some set $A$, every such sequence defines a word of the free monoid $A^*$. Thus subsequences are exactly the subwords as studied in [2]. Lothaire says that a word $u$ divides a word $v$ (notation $u | v$) if $u$ is a subword of $v$.

Let me just mention a key result in this area, known as Higman's lemma [1]: if the alphabet is finite, then the division ordering is a well partial order.

[1] Higman, Graham (1952), "Ordering by divisibility in abstract algebras", Proceedings of the London Mathematical Society, (3), 2 (7): 326–336.

[2] J. Sakarovitch and I. Simon, Subwords. In M. Lothaire: Combinatorics on Words, Chapter 6, Addison-Wesley, Reading, Mass. (1983), reprinted in 1997 at Cambridge University Press.

Answer 5

I appreciate all the effort and attention put into this question in the last week. Unfortunately, the answer seems to be "there is no such standard notation". Some interesting ideas were generated nonetheless!

Answer 6

Before introducing the subsequence notation, here is a definition of a sequence that is suitable for many mathematical investigations (c.f. with this wikipedia link):

A sequence is a function whose domain is either $\{n \ge 0 \; | \; n \in \mathbb Z\}$ or $\{n \gt 0 \; | \; n \in \mathbb Z\}$.

Although sequences are a type of function, they are usually distinguished notationally from functions in that the input is written as a subscript rather than in parentheses, i.e. $a_n$ rather than $f(n)$. There are terminological differences as well: the value of a sequence at the input $1$ (or $0$ - depends on the domain) is called the "first term" (or first element) of the sequence, the value at $2$ is called the "second term", etc. Also, while a function abstracted from its input is usually denoted by a single letter, e.g. $f$, a sequence abstracted from its input is usually written by a notation such as ${\displaystyle (a_{n})_{n\in \mathbb N}}$, or just as ${\displaystyle (a_{n})}$. Here $\mathbb N$ is the domain, or 'index set', of the sequence.

Here is a definition of a subsequence (c.f. with this wikipedia link):

A subsequence of a given sequence is a sequence formed from the given sequence by deleting some of the elements without disturbing the relative positions of the remaining elements. For instance, the sequence of positive even integers $(2, 4, 6, ...)$ is a subsequence of the positive integers $(1, 2, 3, ...)$. The positions of some elements change when other elements are deleted. However, the relative positions are preserved.

Formally, a subsequence of the sequence ${\displaystyle (a_{n})_{n\in \mathbb {N} }}$ is any sequence of the form ${\displaystyle (a_{n_{k}})_{k\in \mathbb {N} }}$, where ${\displaystyle (n_{k})_{k\in \mathbb {N} }}$ is a strictly increasing sequence of positive integers.

Example: $S = (1/1,\, 1/2,\, 1/3,\, \dots)$ is a sequence and $S^{'} = (1/1,\, 1/4,\, 1/9,\, 1/16,\, \dots)$ is a subsequence. Do you want to get more formal?

$S = (s_1,\, s_2,\, s_3,\, \dots)$ with $s_n = 1/n$.

The strictly increasing sequence $n_k = k^2$ of numbers can be used to extract a subsequence of $S$:

${S^{'}} = {\displaystyle (s_{n_{k}})_{k\ge 1}} = (\frac{1}{k^2})_{k \ge 1} = ({s^{'}}_1, \, {s^{'}}_2, \,{s^{'}}_3, \, \dots)$ with ${s^{'}}_k = \frac{1}{k^2}$.

Many times an acceptable way of describing a subsequence setup is to simply use, say, the English language. For example,

Every subsequence of $(1/n)_{n \ge 1}$ converges to $0$.

Answer 7

If somebody asked me to design new notation to denote that some (finite or infinite) sequences are subsequences of some other sequences I would do it in this way:

I will not go here into definition(s) of what exactly means that some sequence is a subsequence of some other sequence, because good information about that is contained in answers already posted. I will just state this notation of mine.

If some sequence $s$ is a subsequence of some sequence $r$ then I would denote that relation(ship) as $s \subseteq_o r$, where little $o$ tells us that we are dealing with ordered sets.

The fact that some (unordered) set $S$ is a subset of some other (unordered) set $R$ could then be denoted either as usual $S \subseteq R$, or like this: $S \subseteq_u R$, where little $u$ tells us that we are dealing here with ordinary (unordered) sets.

There are other facts that can be written about all of this, but they are mostly trivial so I will not write about them here and now, but will conclude this answer in a hope that you could like this approach here which is extremely simple.

Answer 8

Given a metric space $X$, let me for now use the notation $S(X)$ for the set of all sequences $a=(a_n)_{n\in\mathbb{N}}$ that take values in $X$. There have been some suggestions for a notation that resembles the inclusion of sets, but since the relation of being an (ordered) subsequence also introduces a partial ordering on $S(X)$, let us investigate as to whether it would be useful to emphasise this fact by using a symbol like $a\unlhd b$, $a \lesssim b$ or $a \ll b$. Let me stick with the first one.

• If $b$ converges and $a\unlhd b$, then also $a$ converges. This is feels natural, is true, but rather trivial.
• If $a$ does not converge and $a\unlhd b$, then $b$ also cannot converge. Same here, natural but trivial.
• The notation also calls for a sandwich theorem: If $a$ and $c$ converge to $x$ and $a\unlhd b\unlhd c$ , then so does $b$. Well, that's nothing new.
• The way we use subsequences most often is as follows: Assume $b$ assumes values in a compact set, then there exists a convergent $a\unlhd b$. I do like the notation here, because it suggests the following thought: If we have some control over $b$, we can make it a little smaller and get a convergent sequence.
• For a map $f\colon X \rightarrow Y$ we have that $a\unlhd b$ implies $f(a) \unlhd f(b)$, that's also trivial.

That are the first scenarios that come to my mind in which I want to think of $\unlhd$ as an ordering. However I do not think that students would really benefit from the notation, as most things I've just mentioned are rather trivial. So why introduce a new notation?

Moreover there also lies some danger in using an ordering symbol. Everything looks nice, when we write sequences as simple letteres $a$. But often we rather write $a=(a_n)_{n\in\mathbb{N}}$ and especially if we stick with $n$ all the time, the expression $$(a_n)_n \unlhd (b_n)_n $$ suggests that there is a pointwise comparison à la $a_n \le b_n$, which is at best meaningless and wrong at worst.

All in all, I don't think that introducing a new symbol would make anything clearer or easier. As has been mentioned several times in the thread before, plain English sometimes works best.