Show an additive homomorphism f:Q->Q is Q linear

  • Thread starter Thread starter johnqwertyful
  • Start date Start date
  • Tags Tags
    Linear
johnqwertyful
Messages
396
Reaction score
14

Homework Statement


Let f(x+y)=f(x)+f(y) where x, y, f(x) are all rational numbers. Show that f(qx)=qf(x) for all q, x rational.


Homework Equations





The Attempt at a Solution


It's easy to get to f(nx)=nf(x). Because f(x+...+x)=f(x)+...+f(x)=nf(x). But going from there to rational is hard. I think I've done it before, but I can't get it. I've been stumped.
 
Physics news on Phys.org
johnqwertyful said:

Homework Statement


Let f(x+y)=f(x)+f(y) where x, y, f(x) are all rational numbers. Show that f(qx)=qf(x) for all q, x rational.

Homework Equations


The Attempt at a Solution


It's easy to get to f(nx)=nf(x). Because f(x+...+x)=f(x)+...+f(x)=nf(x). But going from there to rational is hard. I think I've done it before, but I can't get it. I've been stumped.

Start with a simple example. f((1/2)x)+f((1/2)x)=f((1/2)x+f((1/2)x)=f(x). So how is f((1/2)x) related to f(x)? Now generalize. If you've done it before this should click pretty fast.
 
Last edited:
  • Like
Likes 1 person
Dick said:
Start with a simple example. f((1/2)x)+f((1/2)x)=f((1/2)x+(1/2)x)=f(x). So how is f((1/2)x) related to f(x). Now generalize.

...

It was that easy, wasn't it? Thank you. :redface:
 
I absolutely remember doing this before. I feel so silly

f(x)=f(nx/n)=nf(x/n)
so f(x)/n=f(x/n)

I appreciate it, that's been stumping me. I should have known it
 
johnqwertyful said:
I absolutely remember doing this before. I feel so silly

f(x)=f(nx/n)=nf(x/n)
so f(x)/n=f(x/n)

I appreciate it, that's been stumping me. I should have known it

You're welome and great, it did click fast.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top