En eŭklida geometrio, rektigo estas la procezo de senpintigado de hiperpluredro per markado de la mezpunktoj de ĉiuj ĝiaj lateroj, kaj tranĉado for de ĝiaj verticoj je tiuj punktoj. La rezultanta hiperpluredro estas barita per la verticaj figuroj kaj la rektigitaj facetoj de la originala hiperpluredro.
Rektigo kiel fina tranĉo de randoj
Rektigo estas la fina punkto de tranĉa procezo. Ekzemple sur kubo ĉi tiu vico montras kvar ŝtupojn de de tranĉado inter la regula kaj rektigita formoj:
Rektigo de pli alta ordo povas esti plenumita sur regulaj hiperpluredroj de pli altaj dimensioj. Rektigo de la plej alta ordo kreas la dualan hiperpluredron. Rektigo senpintigas randoj al punktoj. Durektigo senpintigas edroj al punktoj. Trirektigo senpintigas ĉeloj al punktoj.
Ekzemplo de durektigo kiel fina tranĉo al edro
Ĉi tiu vico montras durektigitan kubon kiel la finon de vico de kubo al ĝia duala okedro kie la originalaj edroj estas senpintigitaj ĉiu al sola punkto:
En plurlateroj
La duala de plurlatero estas la samo kiel ĝia rektigita formo.
En pluredroj kaj ebenaj kahelaroj
Ĉiu platona solido kaj ĝia duala havas la saman rektigita pluredro. (Ĉi tio ne estas vero por hiperpluredroj en pli altaj dimensioj.)
La rektigita pluredro estas esprimebla kiel la komunaĵo de la originala platona solido kun vere skalita samcentra versio de ĝia dualo. Por ĉi tio, ĝia nomo estas kombinaĵo de la nomoj de la originala kaj la duala:
Rektigita kvaredro, kies duala estas la kvaredro, estas la kvar-kvaredro, pli bona sciata kiel la okedro.
Regula plurĉelo {p,q,r} havas ĉelojn {p,q}. Ĝia rektigo havas du ĉelajn specoj, rektigitaj {p,q} pluredroj restas de la originalaj ĉeloj kaj {q,r} pluredroj estas novaj ĉeloj formitaj de la senpintigitaj verticoj.
Rektigita {p,q,r} estas ne la sama kiel rektigita {r,q,p}, tamen. Plua tranĉo, nomata kiel dutranĉo, estas simetria inter plurĉelo kaj ĝia dualo.
Unua orda rektigo senpintigas lateroj al punktoj. Se la hiperpluredro estas regula, ĉi tiu formo estas prezentita per etendita notacio de simbolo de Schläfli t1{p,q,...}.
Dua orda rektigo, aŭ durektigo, senpintigas edrojn al punktoj. Se la hiperpluredro estas regula, ĝi havas notacion t2{p,q,...}. Por pluredroj, durektigo kreas dualan pluredron.
Pli alta ordo rektigoj povas esti konstruita por pli altaj dimensioj de hiperpluredroj. Ĝenerale n-rektigo senpintigas n-hiperedroj al punktoj.
Se n-hiperpluredro estas (n-1)-rektigita, ĝiaj facetoj estas reduktitaj al punktoj kaj la hiperpluredro iĝas sian dualon.
Notacioj kaj facetoj
Ekzistas malsamaj ekvivalentaj notacioj por ĉiu ordo de rektigo. Ĉi tiuj tabeloj montras la nomojn per dimensio kaj la du specojn de facetoj por ĉiu.