Cilindro (algebro)

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

Lasu A esti aro kaj B \subseteq A. Tiam la cilindro de B kun respekto al A estas la kartezia produto B \times A de B kaj A. Normale, A estas konsiderita universo de la ĉirkaŭteksto kaj estas restita for.

Ekzemple, se B estas subaro de la (naturaj nombroj, naturaj nombroj) \mathbb{N}, tiam la cilindro de B estas B \times \mathbb{N}.