ยูคลิดแตกต่าง

public protocol EuclideanDifferentiable : Differentiable

ประเภทที่สามารถหาความแตกต่างได้ในปริภูมิแบบยุคลิด ประเภทอาจแสดงถึงปริภูมิเวกเตอร์ หรือประกอบด้วยปริภูมิเวกเตอร์และส่วนประกอบอื่นๆ ที่ไม่สามารถหาความแตกต่างได้

ในทางคณิตศาสตร์ สิ่งนี้แสดงถึงผลิตภัณฑ์ที่หลากหลายที่ประกอบด้วยปริภูมิเวกเตอร์ที่สามารถหาอนุพันธ์ได้และท่อร่วมเวกเตอร์บางส่วน โดยที่มัดแทนเจนต์ของท่อร่วมผลิตภัณฑ์ทั้งหมดเท่ากับส่วนประกอบของปริภูมิเวกเตอร์

นามธรรมนี้มีประโยชน์ในการแสดงโครงสร้างข้อมูลที่หาอนุพันธ์ทั่วไปได้ซึ่งมีทั้งคุณสมบัติเวกเตอร์ที่หาอนุพันธ์ได้และคุณสมบัติที่เก็บไว้อื่นๆ ที่ไม่มีอนุพันธ์ เช่น

struct Perceptron: @memberwise EuclideanDifferentiable {
    var weight: SIMD16<Float>
    var bias: Float
    @noDerivative var useBias: Bool
}

บันทึก

กำหนดประเภทเป็น EuclideanDifferentiable หากสามารถหาอนุพันธ์ได้เฉพาะด้วยความเคารพต่อส่วนประกอบของปริภูมิเวกเตอร์ และเมื่อ TangentVector เท่ากับส่วนประกอบของปริภูมิเวกเตอร์

  • องค์ประกอบเวกเตอร์เชิงอนุพันธ์ของ self

    คำประกาศ

    var differentiableVectorView: TangentVector { get }