[Math] the difference between operators, functions, sequences and vectors

functionssequences-and-seriesterminologyvectors

To me there is a hierarchy where vectors $\subset$ sequences $\subset$ functions $\subset$ operators

  • All vectors are sequences, but not all sequences are vectors because
    sequences are infinite dimensional

  • All sequences are functions, but not all functions are sequences
    because functions can do more than just map $\mathbb{N} \to A$ where
    $A$ is some set

  • All functions are operators, but not all operators are functions
    because an operator can map functions to functions but function can only map numbers to numbers

Can someone check if my ideas are reasonable? Does there exist such a hierarchy?

Best Answer

  • All vectors are sequences False To a mathematician, a vector is an element of a vector space, and therefore need not be a sequence. For example, the set of all continuous real valued functions on $[0,1]$ forms a vector space, and its elements are the 'vectors' of that space. Since the most familiar example of a vector space is $\mathbb R^n$, we often use the word 'vector' to refer to any (normally finite) sequence of elements, even when the elements do not naturally form a vector space; but it is certainly incorrect to say that all vectors form sequences.

  • All sequences are vectors Also false, but not for the reasons you have given. If the terms of a sequence are elements of a field $F$, then that sequence is an element of the vector space, over $F$, of all sequences with terms in $F$, so it is a 'vector' in that sense. However, if the terms of the sequence are sets with no extra structure, points of a metric space etc., then it doesn't make sense to say that the sequence is a vector. Note that this has nothing to do with the sequence being infinite dimensional. There exist infinite-dimensional vector spaces; indeed, dimension as a concept doesn't enter into the definition of a vector space at all: to be a vector, we onlyneed to be able to add and subtract with other vectors, and to be multiplied by scalars. It happens that the simplest examples of vector spaces are finite-dimensional.

  • All sequences are functions True, at least in the sense that we can view a sequence as a function from $\mathbb N$ into some set $A$. Bear in mind, though, that this is but one formalism of the idea of a sequence; if we implemented the sequence in some other way - say, as the set of all its finite initial segments: $$ \{(a_1), (a_1,a_2), (a_1,a_2,a_3),\dots\} $$ or in any one of a number of possible ways that don't involve functions, it would still be a sequence; it just happens that the function definition is the most convenient.

  • All functions are sequences Certainly false, as you correctly demonstrated.

  • All functions are operators I'd say false, because I normally hear the word operator used to describe particular examples of functions: binary operators like $+,-,\times$ etc. or linear operators in functional analysis. Then again, I wouldn't feel it was wrong to declare that 'operator' and 'function' should be synonyms. However...

  • All operators are functions This is definitely true; it is certainly not the case that functions can only map numbers to numbers: in mathematics, a function can map from any set to any other set.

Sorry if some of that went over your head. The point I'm trying to make is that the concepts 'vector', 'sequence' and 'function' come from different areas in mathematics (though of course they are used together all the time), while 'function' and 'operator' are very similar words (with 'function' being the more fundamental and universal term in case of doubt). So there is no such hierarchy in mathematics. But well done for exploring and trying to find patterns; keep it up and you'll discover some really beautiful ones.