3
$\begingroup$

Find a signature for vector spaces such that the homomorphisms correspond to linear maps.

My attempt: Let $F$ denote the corresponding field and consider the structure $\{0;+,-,c_F\}$, where $0$ is a constant, $+$ is a binary function symbol and $-$ and $c_F$ are unary function symbols (for each $c\in F$).

But I don't know how to show the following:

Homomorphisms correspond to linear maps.

I think I understand it intuitively but since I'm new to model theory, I don't know how to precisely write it.

$\endgroup$

1 Answer 1

2
$\begingroup$

A homomorphism between structures $X,Y$ of the given signature would be a function $f:X\to Y$ which satisfies $$f(0)=0,\quad f(x_1+x_2)=f(x_1)+f(x_2),\quad f(-x)=-f(x),\quad f(c_Fx)=c_F\,f(x)$$ for all $x,x_1,x_2\in X$ and $c\in F$.

If $X,Y$ happens to be vector spaces (with the usual interpretation of the operation symbols) then this amounts exactly to $f$ being a linear map.
By the way, in that case it suffices that $f$ preserves addition and scalar multiplication, then the vector space axioms ensure that it preserves zero and subtraction as well.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .