1: \begin{abstract}

2: We define the local-triviality dimension for actions of compact quantum groups on unital C*-algebras. The resulting 

3: compact quantum principal bundle is said to be locally trivial when this dimension is finite. For commutative \mbox{C*-al}\-ge\-bras, 

4: %the thus defined local triviality 

5: this notion 

6: recovers the standard definition of local triviality of compact principal 

7: bundles. We  prove that  actions with finite local-triviality dimension are automatically free. Then we apply this new 

8: notion to prove the noncommutative Borsuk--Ulam-type conjecture under the assumption that a compact quantum group admits 

9: a non-trivial classical subgroup whose induced action has finite local-triviality dimension. This is a noncommutative extension of the Borsuk--Ulam-type theorem for locally trivial principal bundles. 

10: \end{abstract}

11: