Usbrth

I think it's simpler if I write down where I wanted to use this symbol, rather than trying to explain it in an abstract way. I'll give a simple example and then explain the actual problem I was working on.

Simple example: Let $a in mathbbN$ and $b in mathbbZ$, then $a * b in mathbbZ$. The symbol I'm looking for (let's say it's $cdot$) would be used like this: $mathbbN * mathbbZ = mathbbZ$

The example I was working on was to prove that the Hessian matrix, $H$, of a likelihood function for a normal distribution is negative definite at the solutions to the likelihood equations. Calculating $z^THz$ where $z = (a, b)^T$ gives:

$$z^THz = frac-a^2n^2S_xx+frac-b^2n^32S_xx^2$$

I know that

• 
  $a, b in mathbbR$ and $(a, b) ne (0, 0)$
  


• $n in mathbbN^+$


• $S_xx in mathbbR_ge 0$

Then it can be shown that from the two elements that are added together only one can be zero under these conditions and the other one must be negative, so the Hessian is negative definite. Is there a symbol that I could use to show something like $-mathbbR^2mathbbN^2 = mathbbR^-$, etc. deriving the result?

The question is not about how to calculate the definiteness but if there is a symbol that could be used here?

Thanks,

Norbert

The closest one would be applying an operand to a set:

Let $M,N$ be two sets and $circ$ a mathematical operation on elements of $M$ and $N$ (e.g. addition, multiplication,...). Then
$$M circ N := m circ n mid m in M, n in N.$$
So for example, $-mathbbN = -n mid n in mathbbN$ or $mathbbN cdotmathbbZ = mathbbZ$ or maybe the most prominent example: $V + W = v + w mid v in V, w in W$ for two vector spaces $V,W$.

In some cases, these operands on sets are commonly used, in other cases they are rather rare and it would be better to define or at least mention them first. You should also ask yourself if you really need this notation, so if a definition of it is really justified.