有理簇 在數學中的代數幾何領域域 K displaystyle K 上的有理簇是一個雙有理等價於射影空間 P K n displaystyle mathbb P Kn  n  N displaystyle nin mathbb N  的代數簇有理性僅依賴於其函數域更明確地說代數簇 X displaystyle X 是有理簇若且唯若 K  X   K  T     T n   n  N  displaystyle KXsimeq KTldots Tnnin mathbb N  其中 T     T n displaystyle Tldots Tn 是獨立的變元