7
$\begingroup$

This question is a follow-up to this old one of mine.

Let $\mathcal{A}$ be the set of functions $\star:\mathbb{R}^2\rightarrow\mathbb{R}$ which are associative and $C^\omega$ (real analytic entire) in the multivariable sense. Since an element of $\mathcal{A}$ is determined by its behavior on the unit disc $D$, we can give $\mathcal{A}$ a natural metric structure: $$d(\star_1,\star_2)=\iint_D \vert (x\star_1 y)-(x\star_2y)\vert dxdy.$$

Question: Is $\mathcal{A}$, equipped with this metric, locally connected?

The question I'm really interested in is the overall topology of the space of all continuous associative operations on $\mathbb{R}$ (basically one aspect of the above-linked question), but that seems harder than anticipated; I'm hoping that by restricting to very nice operations the question becomes tractable.

Improve this question
$\endgroup$
1
  • $\begingroup$ This is a cool question, it offers a lot of room for generalization by replacing associativity with any functional equations one likes. And by asking about analytic functions the same Disk metric naturally lifts up there as well. $\endgroup$
    – Sidharth Ghoshal
    Commented Oct 31, 2023 at 2:35

0

Reset to default

You must log in to answer this question.