rigid-analytic space