The Realizability Assumption
- the assumption:
- there exists β*βπ» such that πΏ(π·,π)(β*) = 0
- there exists β*βπ» such that ππ₯βΌπ·(β*(π₯) = π(π₯)) = 1
- Note that this assumption implies that with probability 1 over random samples, π, where the instances of π are sampled according to π· and are labeled by π, we have πΏπ(β*) = 0