2
$\begingroup$

One way to generate a metric for a set $S$ (a distance function between elements $a,b$ of the set $S$) would be by associating it with a vector space $V$ (the vectors that connect the elements $a,b$) and using the norm (length function) of the vectors as the distance metric for $S$.

What would be the proper term for the entity that establishes the association between the set and the vector space, i.e. for a function $f: (a,b) \Rightarrow V$?

I guess I am looking for the appropriate synonym for a term like "vectorizer" or "vector space associator".

Example: given a set $S$ of strings over some alphabet, one can define a vector space $T$ of string transforms whose elements are mappings $f: (S) \Rightarrow S$. Given a norm (e.g. number of edit operations inside the transform) on $T$ via $n: (T) \Rightarrow R$ we can then induce a metric on $S$. But to do that, we first need a mapping $f: (S, S) \Rightarrow T$ to get from the set $S$ to the vectors $T$. What is the proper term for such a mapping?

  • 0
    @DanielMcLaury Given Strings "ab" and abc", one can do append("ab","c") to transform "ab" into "abc". Obviously replace, prepend, swap, etc. are other options. The space transforms seems to be$a$vector space for the set of string; the complexity of the transforms (e.g. the number of operations required) can be a norm. Then I can determine the distance between two strings by associating a specific range of transforms with the set of strings. I am asking what the name for the mapping (or the process, I guess) of defining / deriving such corresponding spaces is.2011-11-29

1 Answers 1

2

"Vector space" is a term denoting a certain kind of mathematical structure: A set $S$ provided with an addition and a multiplication by "scalars" such that certain rules hold. The elements of such a space, whatever they are (numbers, strings, functions, etc.) are called vectors. Vectors have nothing to do with arrows per se – it is just a historical coincidence that the first vectors encountered by mathematicians were the forces arrows drawn by physicists.

In your case it seems that in the first place you have arrows representing a map $f: S\to S$. You can use these arrows to create a directed graph $\Gamma$ with vertex set $S$ and the given arrows as edges. When it comes to defining a metric on $S$ one should forget about the direction of these edges to make the distance function symmetric. On the other hand you may assign positive weights to the edges accounting for some (computation) cost.

The graph $\Gamma$ is connected if for any two $x$, $y\in S$ there is an edge-path connecting $x$ and $y$ in the obvious way. Any path connecting $x$ and $y$ has a total cost, and a natural distance function in your setting would be $d(x,y):=$ minimal cost to get from $x$ to $y$.

  • 0
    Yes and No :-) The edit distance would be the norm for the edits (= transforms/vectors/arrows) and the metric for the edited strings. I want to know: is there a term for getting from the set of Strings to the space of Edits? There are two different spaces/sets here, and one is related to the other, and this is a generic concept (generating a space of transforms for a given set). So I was guessing there must be a term like "vectorizing" a set or whatever. Apparently, there is not, at least not a common one...2011-12-01