Closure of exponentiation of real algebraic numbers.

Submitted ⁨⁨3⁩ ⁨months⁩ ago⁩ by ⁨Ad4mWayn3@sh.itjust.works⁩ to ⁨[deleted]⁩

Given two real, nonzero algebraic numbers a and b, with a > 0 (so that it excludes complex numbers), is there any named subset of the reals S such that (a^b) belongs to S forall a,b? I know it’s not all the reals since there should be countably many a^b’s, since a,b are also countable.

source

Comments

Sort:hotnew top

deegeese@sopuli.xyz ⁨3⁩ ⁨months⁩ ago
Do your own homework, buddy.

source
ns1@feddit.uk ⁨3⁩ ⁨months⁩ ago
Fun question! I don’t know the answer other than to say it’s not just the algebraics because of the Gelfond-Schneider constant

Are you sure this is well-defined? You say that a and b are algebraic but “closure” implies that they could also be any members of S. This might mess up your proof that it’s not all the reals if you do mean the closure.

source
- Ad4mWayn3@sh.itjust.works ⁨3⁩ ⁨months⁩ ago
  My mistake, in that case it’s not the closure what I mean. But then how are those kinds of sets called?
  
  source
  - ns1@feddit.uk ⁨3⁩ ⁨months⁩ ago
    You could say something like “the image of exponentiation over…” to mean the set of values created by applying the function once, but it sounds slightly clunky.
    
    Looks like there aren’t really very many sets of mostly transcendental numbers that have names. Computational numbers and periods are two of them, I’d guess that both probably contain your set, so you could compare with those to see where it gets you.
    
    source
NeatNit@discuss.tchncs.de ⁨3⁩ ⁨months⁩ ago
Who says a and b are countable

source
- Deestan@lemmy.world ⁨3⁩ ⁨months⁩ ago
  en.m.wikipedia.org/wiki/Algebraic_number
  
  They’re given as algebraic, which are countably infinite since they can be mapped 1-to-1 with integers.
  
  source
  - NeatNit@discuss.tchncs.de ⁨3⁩ ⁨months⁩ ago
    I see. I missed that word in the question, and I didn’t remember that definition anyway.
    
    source
  - Septimaeus@infosec.pub ⁨3⁩ ⁨months⁩ ago
    ℕ
    
    source