已知a0的解集是