Wは3次元だから、条件を満たす基底を適当に1組求めて、あとはシュミットの直交化法でいいんじゃない?