5
$\begingroup$

Is anything interesting known about the binary operation $ x\circ y = \exp_b((\log_b x)(\log_b y)) $ where $0?

It's clearly commutatitive and associative, and satisfies $\forall x\in \mathbb R^+$, $x\circ b=x$. In one sense is obviously equivalant to multiplication so nothing interesting can be said after everything's been said about multiplication, but then we can wonder if there anything interesting to be said about this way of embedding a structure isomorphic to $(\mathbb R^+,\times)$ into the line. In particular, we have (as I noted yesterday in another thread in this forum) $ \log_{{}\,p \,\circ\, q\,\circ\, r\,\circ\,\cdots} (w\circ x\circ y\circ\cdots) = (\log_{{}\,p} w)(\log_{{}\,q} x)(\log_{{}\,r} y)\cdots. $

I know I've seen this function arising in routine stuff, but I can't remember any specifics. So a question is: in which contexts does this operation arise naturally?

  • 0
    @GerryMyerson : But I think I've also seen this operation arise unintentionally in routine things.2012-10-04

1 Answers 1

1

Ok, I think I have something interesting to say. I remembered an exercise I gave to my Linear Algebra course that asked students to prove that there is a linear transformation taking $(\mathbb{R}, +)$ to $(\mathbb{R}^+, \cdot)$, where the latter is considered a vector space under the binary operation $\cdot$, with scalar "multiplication" $c.x = x^c$. The linear transformation is $x \mapsto e^x$.

Now consider applying that same transformation $e^x$ from $\mathbb{R}^+$ to $\mathbb{R}^{>1}$. I claim it is a vector space isomorphism $(\mathbb{R}^+, \cdot) \to (\mathbb{R}^{>1}, \circ)$, where scalar multiplication is:

$ c.x = \exp( (\log x)^c).$

[Of course, I'm specializing to $b=e$, but the results are the same for any $b$]