Buen días,
Necesito demostrar que:
1. Sean \( L=\left\{x\in{\mathbb{Q}} | x<0\right\} \) y \( P=\left\{x\in{\mathbb{Q}} | x\geq{0}\right\} \), se define la cortadura \( L|P \) tal que:
\( A|B + L|P = A|B \)
No se me ocurre cómo demostrar esa proposición.
Agradezco sus colaboraciones, y de paso, quisiera saber si tienen algún texto que expliquen ampliamente el desarrollo de las Cortaduras.
Saludos,