אי-שוויון וייל (Weyl) הוא אי-שוויון בתורת המטריצות העוסק בשינויים בערכים עצמיים של מטריצות הרמיטיות. נקרא על שם המתמטיקאי הרמן וייל.
אם נסמן את הערכים העצמיים של מטריצה X ב : λ 1 ( X ) ≥ ⋯ ≥ λ n ( X ) {\displaystyle \lambda _{1}(X)\geq \cdots \geq \lambda _{n}(X)} .
האי-שוויון אומר שאם M,P,H הן מטריצות הרמיטיות כך ש M = H + P {\displaystyle M=H+P} אז לכל i = 1 , … , n {\displaystyle \scriptstyle i\,=\,1,\dots ,n} מתקיים: