Ergodic theorems for the asymmetric simple exclusion process