I doubt it, as puns like this are generally not Lem's style in my opinion. "Tichy Ijon" kinda sounds like tachion, which is polish for tachyon, but I would chalk it up to coincidence.