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?

  • 1
    What is the vector space you associate to the set $S$? A natural candidate would be the Hilbert space of all square-summable sequences over the set $S$. Then to $a,b\in S$ you associate the vector that is the difference between the basis elements corresponding to $a$ and $b$. But this is by no means the only choice. You will have to clarify your question.2011-11-26
  • 0
    @StefanGeschke Hm, any suitable vector space, I guess, depending on the set S. Two relevant examples would be Euclidean vectors and transform functions f: a => b.2011-11-26
  • 1
    If you say euclidean vectors, do you consider $S$ to be a subset of some $\mathbb R^n$? I have no idea what you mean by the transform functions.2011-11-26
  • 0
    @StefanGeschke Sorry. On Euclidean vectors: yes. On transform functions: I'm thinking about computations such as string transforms, f : (String,String) => StringTransform, with some associated norm n : (StringTransform) => R (don't know how to do the fancy real-numbers R).2011-11-26
  • 0
    Can you give an example of a set of strings and a vector space of transformations of them? I don't think I understand the question. (For instance, what would it mean to multiply a string transformation by negative pi?)2011-11-26
  • 0
    I have the feeling that Frank is looking for something like an affine space over a normed vector space, but I can't be sure.2011-11-26
  • 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
    Right, thank you. This gives me a richer view on the topic, which is much appreciated (I'm not a mathematician). Unfortunately, the original question is still open: given a set S, is there a proper term for the process of (or the mapping resulting from) defining a space of arrows for it so that I can use the length of the arrows as a norm on S? Not that my life depends on it :-), but I'm writing some code where this is a recurring task (given a set, find a space of transforms to get a norm) and I'm trying to map what I'm doing to existing concepts and terms where possible.2011-11-29
  • 0
    Frank, are you talking about something like "edit distance"?2011-11-30
  • 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