Simplify[Re[a], Element[a, Reals]]

これではダメなのか。