If I have a proof for a separation between two complexity classes (using no oracles) and I want to see if it relativizes, how do I go about doing so?
Especially in the case where there already exist proofs for these classes being equal with respect to one oracle and not equal with respect to another oracle. I'm wondering, if I have a proof of inequality with respect to no oracle can I simply reference the oracle to which these classes have been proven equal, call on that example, and be done--since there exists an oracle to which they have already been proven equal this is my proof that the inequality doesn't relativize?
Or do I have to apply oracles specifically to the machines in my proof of the inequality and see if it relativizes?
I'm confused about how proving relativization / non-relativization of a specific proof of some statement relates to the relativization of other proofs of the same statement.
How can I reference the fact that other proofs of a statement relativize / don't relativize to help me prove my own relativization result about my proof of that statement?