Chứng minh rằng là


8

Các vấn đề thống kê liên quan đến khoảng tin cậy đối với trung bình dân số có thể được đóng khung theo hàm trọng số sau :

w(α,n)tn1,α/2nfor 0<α<1 and n>1.

Ví dụ: khoảng tin cậy cấp độ cổ điển tiêu chuẩn cho giá trị trung bình của siêu dân số vô hạn có thể được viết là:1α

CI(1α)=[x¯n±w(α,n)sn].

Việc thiết lập các giới hạn và \ lim _ {\ alpha \ uparrow 1} w (\ alpha, n) = 0 bằng cách sử dụng hàm lượng tử là phân phối T. Trong bối cảnh của các khoảng tin cậy, điều này cho chúng ta biết rằng khoảng đó co lại thành một điểm khi chúng ta giảm mức độ tin cậy và tăng lên toàn bộ dòng thực khi chúng ta tăng mức độ tin cậy. Một thuộc tính trực quan khác cần giữ là khoảng thời gian co lại thành một điểm khi chúng ta nhận được càng nhiều dữ liệu, có nghĩa là:limα0w(α,n)=limα1w(α,n)=0

limnw(α,n)=0.

Câu hỏi: Vui lòng cung cấp bằng chứng cho thuộc tính sau này của hàm trọng số.


Thông tin thêm: Đối với bất kỳ độc giả toán học nào không quen thuộc với các điểm quan trọng của phân phối T , giá trị là một hàm của được xác định bởi phương trình ẩn: ntn1,α/2n

α2=1(n1)πΓ(n2)Γ(n12)tn1,α/2(1+r2n1)n/2dr.

2
Đây không phải là tầm thường do thực tế là học sinh t hội tụ đến một biến thể bình thường trong tổng số biến thể? Tử số đi đến hằng số . zα/2
anh chàng

1
@guy: Cái gì cấu thành "tầm thường" tùy thuộc vào cấp độ của người bạn hỏi. Lý do tôi đặt câu hỏi này là đây là một vấn đề tôi đã đặt ra cho một vài học sinh tốt nghiệp trong giảng dạy của mình và tôi muốn xem những loại bằng chứng nào mà mọi người trên trang web này đưa ra (vì vậy tôi có thể so sánh điều này với các loại câu trả lời của sinh viên). Sinh viên tốt nghiệp thường có một ý tưởng sơ bộ về cách tiếp cận bằng chứng, nhưng đấu tranh với các chi tiết. Hầu hết cố gắng hiển thị và đi từ đó, nhưng những người khác cố gắng giải quyết nó bằng cách thiết lập một ràng buộc trên tích phân. tn-1,α/2zα/2<
Ben - Tái lập Monica

(Tôi cũng hy vọng sẽ thấy bằng chứng thanh lịch nhất, như một cách tốt để trình bày kết quả.)
Ben - Phục hồi lại

2
Tôi muốn biết làm thế nào một người thanh lịch có thể có được điều này. Ý kiến ​​cá nhân, nhưng tôi sẽ lập luận rằng việc sử dụng mật độ là không thanh lịch bởi vì nó mang lại cấu trúc bổ sung không cần thiết. Bằng chứng trong câu trả lời của tôi có hai bài học quan trọng. Đầu tiên, mệnh đề này là một phần hữu ích của lý thuyết xác suất và có thể đưa ra một số ý tưởng về cách DF hành xử. Thứ hai, kỹ thuật chứng minh (có thể được trình bày lại về mặt số lượng) rất hữu ích để chứng minh nhiều thứ.
anh chàng

Câu trả lời:


4

Bằng chứng với sự bất bình đẳng của Ch Quashev

Dưới đây là một bằng chứng sử dụng bất đẳng thức .Pr(|T|kσ)1k2

Nếu chúng tôi điền vào và đặt thì chúng ta có giới hạnσtν= =νν-21/k2= =α= =Pr(|T|tν,α/2)

Pr(|T|νν-21α)Pr(|T|tν,α/2)

do đó sẽ được giới hạn ở trên bởitν,α/2

tν,α/2νν-21α

thêm giới hạn dưới rõ ràng và chia theoν+1

0tn1,α/2ν+1νν+1(ν2)1α

mà nén về 0 cho ntn1,α/2/nn


Tôi thường tránh những bình luận "câu trả lời hay" nhưng câu này thực sự rất thanh lịch! (+1 rõ ràng!)
usεr11852

1
@ usεr11852 bạn có thể thích bằng chứng hình học của tôi trong đó phân phối của thống kê t có liên quan đến phân phối một góc trong không gian n.
Sextus Empiricus

4

Tôi chắc chắn có một cách dễ dàng hơn để làm điều này, nhưng kết quả là ngay lập tức từ những điều sau đây:

Mệnh đề: Đặt là hàm phân phối liên tục và là một chuỗi các hàm phân phối sao cho yếu (nghĩa là trong phân phối). Sau đó thống nhất theo .F n F nF F n ( x ) F ( x ) xFFnFnFFn(x)F(x)x

Bằng chứng: Sử dụng tính liên tục và đơn điệu, với bất kỳ số tự nhiên chúng ta có thể chọn sao cho (lấy và ). Do sự hội tụ yếu và thực tế là liên tục, . Đối với bất kỳ , tìm một khoảng có chứa và lưu ý rằng . Do đó và vìx 0 , x 1 , Mạnh , x m F ( x j ) = j / m x 0 = - x m = F F n ( x j ) F ( x j ) y [ x j - 1 , x j ] y | F n ( y ) - Fmx0,x1,,xmF(xj)=j/mx0=xm=FFn(xj)F(xj)y[xj1,xj]y¯ lim nsupy| Fn(y)-F(y)| 1|Fn(y)F(y)|supj|Fn(xj)F(xj)|+|F(xj)F(xj1)|1m msupy| Fn(y)-F(y)| 0lim¯nsupy|Fn(y)F(y)|1mmlà tùy ý, chúng tôi nhận được .supy|Fn(y)F(y)|0

Tiếp theo, đây là một ứng dụng nổi tiếng của định lý Slutsky rằng hội tụ trong phân phối thành một phân phối chuẩn thông thường. Kết quả trước đó ngụ ý rằng , tức là . Áp dụng hàm lượng tử thông thường cho cả hai bên, chúng ta nhận được . F n ( t n - 1 , α ) - F ( t n - 1 , α ) 0 F ( t n - 1 , α ) α t n - 1 , αz αtn1Fn(tn1,α)F(tn1,α)0F(tn1,α)αtn1,αzα

Do đó ngụ ý cho mọi (đặc biệt, ).t n - 1 , αtn1,αzαg(n)g(n)=tn1,αg(n)0g(n)g(n)= =n


3

Bằng chứng hình học

Xem hình học

Coi mẫu quan sát là một điểm trong không gian Euclide n chiều và ước tính giá trị trung bình là hình chiếu của một quan sát lên dòng mô hình .x 1 = x 2 = . . . = x n = ˉ xx1,x2,...,xnx1= =x2= =...= =xn= =x¯

Điểm t có thể được biểu thị bằng tỷ lệ của hai khoảng cách trong không gian này

  • khoảng cách giữa điểm được chiếu và dân số có nghĩa là
    n(x¯-μ)
  • khoảng cách giữa điểm này và quan sát
    ΣTôi= =1n(x^-xTôi)2

Điều này có liên quan đến tiếp tuyến của góc giữa quan sát và đường mà nó được chiếu.

tn-1= =n(x¯-μ)ΣTôi= =1n(x^-xTôi)2= =1tanθ

Phác thảo hình học

Phân phối t tương đương và phân phối góc

Trong chế độ xem hình học này, xác suất của điểm t cao hơn một số giá trị tương đương với xác suất của góc nhỏ hơn một số giá trị:

Pr(|T|>tn-1,α/2)= =2Pr(θθν,α)= =α

Hoặc là

tn-1,α/2n-1= =1tanθν,α

Bạn có thể nói rằng điểm t liên quan đến góc quan sát với đường thẳng của mô hình lý thuyết. Đối với các điểm nằm ngoài khoảng tin cậy (thì nằm cách xa và góc sẽ nhỏ hơn) góc sẽ nằm dưới một số giới hạn . Giới hạn này sẽ thay đổi với nhiều quan sát hơn. Nếu giới hạn của góc này là 90 độ đối với lớn (hình nón trở nên phẳng hơn, tức là ít nhọn và dài hơn) thì điều đó có nghĩa là kích thước của khoảng tin cậy sẽ nhỏ hơn và tiếp cận số không.ˉ x θ ν , α θ ν , α nμx¯θν,αθν,αn

góc so với t

Phân bố góc như diện tích tương đối của nắp của một hình cầu n

Do tính đối xứng của phân phối xác suất chung của các biến phân phối bình thường độc lập, mọi hướng đều có thể xảy ra như nhau và xác suất cho góc nằm trong một vùng nhất định bằng với diện tích tương đối của nắp của một hình cầu n.

Khu vực tương đối của n-cap này được tìm thấy bằng cách tích hợp khu vực của một n-achum :

2Pr(θθc)= =211+tan(θc)21(1-x2)n-32B(12,n-12)dx= =11+tan(θc)21t-0,5(1-t)n-32B(12,n-12)dt= =Tôi11+tan(θc)2(12,n-12)

trong đó là hàm beta chưa hoàn thành thường xuyên hóa trên.Tôix(,)

Giới hạn của góc

Nếu chuyển đến 90 độ cho thì sẽ về không.θn,αntn-1,α/2/n

Hoặc một tuyên bố ngược lại: đối với bất kỳ góc nào nhỏ hơn 90 độ, diện tích tương đối của góc đó trên mặt cầu n, giảm xuống 0 khi đi đến vô cùng.n

Theo trực giác điều này có nghĩa là tất cả diện tích của một hình cầu n tập trung vào đường xích đạo khi kích thước tăng lên vô cùng.n

Về mặt định lượng, chúng ta có thể chỉ ra điều này bằng cách sử dụng biểu thức

một1t-0,5(1-t)n-32B(12,n-12)dt<một1(1-một)n-32B(12,n-12)dt= =(1-một)n-12B(12,n-12)= =L(n)

và xem xét sự khác biệt giữa và .L(n+2)L(n)

Tại một số điểm, việc giảm mẫu số sẽ được xử lý bằng cách giảm tử số và hàm giảm xuống 0 cho đến vô cùng.

B(12,x+1)B(12,x)= =xx+12
(1-một)n+12(1-một)n-12= =1-một
L(n)n

1

Chúng ta có

α2=tn1,α/2limn1(n1)πΓ(n2)Γ(n12)(1+r2n1)n/2dr=tn1,α/212πe12r2dr=1Φ(tn1,α/2)1[12+φ(tn1,α/2)(tn1,α/2+(tn1,α/2)33+(tn1,α/2)515+)]

trong đó ngụ ý rằng thuật ngữ thứ hai trong ngoặc được đóng hộp có thể nhiều nhất là vì tối đa có thể là . Lưu ý rằng là pdf của phân phối bình thường. Sự gần đúng này cũng dựa trên điều này .12α1φ(x)

Vì vậy,

0<α1+2φ(tn1,α/2)(tn1,α/2+(tn1,α/2)33+(tn1,α/2)515+)<1

Chào mừng đến với trang web, @guerhuerh. Vui lòng xem xét đăng ký tài khoản của bạn và trở thành thành viên thường xuyên tại đây (có thông tin trong phần Tài khoản của tôi trong trung tâm trợ giúp của chúng tôi ). Chúng tôi muốn có bạn. Nếu bạn thích, bạn có thể thực hiện chuyến tham quan của chúng tôi , nơi có thông tin cho người dùng mới.
gung - Phục hồi Monica

2
Đây là một cách tiếp cận thú vị, nhưng tôi không rõ bằng cách nào bạn biện minh cho bước đầu tiên (nơi bạn đã thêm thao tác giới hạn bên trong tích phân). Điều này đưa ra một phương trình ngầm định cho là sai. tn1,α/2
Ben - Phục hồi Monica

@Ben: Sẽ không ? limnα2= =α2
PEV

nnα/2

zα/2
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.